diff --git a/build_tools/find_missing_support_level b/build_tools/find_missing_support_level new file mode 100755 index 0000000000..dacc3d6fcf --- /dev/null +++ b/build_tools/find_missing_support_level @@ -0,0 +1,3 @@ +#!/bin/sh + +grep -r -L -e "support_level" * | grep -e "\.c$" -e "\.cxx$" | sort