diff options
| author | mzuenni <michi.zuendorf@gmail.com> | 2024-09-05 22:17:15 +0200 |
|---|---|---|
| committer | mzuenni <michi.zuendorf@gmail.com> | 2024-09-05 22:17:15 +0200 |
| commit | 44fb31d09a9310ffcee2797d2f5c350855816425 (patch) | |
| tree | 6bfc03e6205d0b5057996fb00e7f1b37c0ba3bf5 | |
| parent | 9f7b8406e9be8ffd114490db5d1e89a88151c41a (diff) | |
exclude awk folder
| -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 |
