diff options
Diffstat (limited to 'std/test_all.sh')
| -rwxr-xr-x | std/test_all.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/std/test_all.sh b/std/test_all.sh index 32619f3..5792a4c 100755 --- a/std/test_all.sh +++ b/std/test_all.sh @@ -8,7 +8,7 @@ fi echo "# useful for running all tests of the standard library" >All.bruijn echo >>All.bruijn -FILES="$(find * -type f -name "*.bruijn" ! -name "All.bruijn")" +FILES="$(find * -type f -name "*.bruijn" ! -name "All.bruijn" ! -path "*Generic*")" for f in $FILES; do echo ":import std/${f%*.bruijn} ." >>All.bruijn |