diff options
| -rwxr-xr-x | buildtools/compare_config_h3.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/buildtools/compare_config_h3.sh b/buildtools/compare_config_h3.sh index a56dd2a147..45be1ec344 100755 --- a/buildtools/compare_config_h3.sh +++ b/buildtools/compare_config_h3.sh @@ -19,8 +19,8 @@ if test "x$DIFF" = "x" ; then DIFF="comm -23" fi -grep "^.define" $NEW_CONFIG | grep -v -f $EXCEPTIONS | sort > waf-config.h -grep "^.define" $OLD_CONFIG | grep -v -f $EXCEPTIONS | sort > old-config.h +grep "^.define" $NEW_CONFIG | egrep -v -f $EXCEPTIONS | sort > waf-config.h +grep "^.define" $OLD_CONFIG | egrep -v -f $EXCEPTIONS | sort > old-config.h $DIFF old-config.h waf-config.h rm -f old-config.h waf-config.h |