diff options
| -rwxr-xr-x | test/Scripts/grep-not | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Scripts/grep-not b/test/Scripts/grep-not index 7fe67028cc..9ea9bf0de6 100755 --- a/test/Scripts/grep-not +++ b/test/Scripts/grep-not @@ -10,7 +10,7 @@ # # Syntax: The same as grep -if grep $@ +if grep "$@" then exit 1 else exit 0 fi |