diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/testall | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/test/testall b/test/testall deleted file mode 100644 index 8cf9317db1..0000000000 --- a/test/testall +++ /dev/null @@ -1,7 +0,0 @@ -sh partest --jvm -sh partest --pos -sh partest --neg -sh partest --shootout -sh partest --script -sh partest --res - |