diff --git a/tools/check-config-options.sh b/tools/check-config-options.sh index 7a775955b..d9d4431ee 100755 --- a/tools/check-config-options.sh +++ b/tools/check-config-options.sh @@ -18,8 +18,8 @@ get_missing_options() get_src_con_defaults() { - sed -ne 's/.*\