diff options
-rwxr-xr-x | test/test_address.sh | 2 | ||||
-rwxr-xr-x | test/test_avx.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/test/test_address.sh b/test/test_address.sh index 9c7a247..8466cc2 100755 --- a/test/test_address.sh +++ b/test/test_address.sh @@ -1,6 +1,6 @@ #!/bin/sh -FILTER=cat +FILTER="grep -v warning" sub() { diff --git a/test/test_avx.sh b/test/test_avx.sh index 1940515..0b42eeb 100755 --- a/test/test_avx.sh +++ b/test/test_avx.sh @@ -1,6 +1,6 @@ #!/bin/tcsh -set FILTER=cat +set FILTER="grep -v warning" if ($1 == "Y") then echo "yasm(32bit)" |