diff options
| -rwxr-xr-x | test/test.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/test.sh b/test/test.sh index 5b0e4aa..3cb5c9c 100755 --- a/test/test.sh +++ b/test/test.sh @@ -69,7 +69,7 @@ if [ "$#" -ne 0 ]; then seedmacro="-DSEED=${arg:7}ll" elif [ -d "$arg" ]; then dir=$(realpath --relative-to="${PWD}" "$arg") - find . -type f -path "./${dir}/*.cpp" -print0 | sort -z | while read -d $'\0' file + find . -type f -path "./${dir}/*.cpp" -not -path './awk/*' -print0 | sort -z | while read -d $'\0' file do test_file "$file" done @@ -80,7 +80,7 @@ if [ "$#" -ne 0 ]; then fi done else - find . -type f -path '*.cpp' -print0 | sort -z | while read -d $'\0' file + find . -type f -path '*.cpp' -not -path './awk/*' -print0 | sort -z | while read -d $'\0' file do test_file "$file" done |