diff options
Diffstat (limited to 'verify-chill/runtests')
-rwxr-xr-x | verify-chill/runtests | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/verify-chill/runtests b/verify-chill/runtests deleted file mode 100755 index e5021f8..0000000 --- a/verify-chill/runtests +++ /dev/null @@ -1,17 +0,0 @@ -#/bin/sh -for file in *.py; do - echo -n "Testing " - echo -n $file | sed 's/test_//g;s/.py//g' - echo -n " ... " - ../chill $file > /dev/null 2>&1 - cmp -s rose_mm.c with/$file.out - if [ $? -eq 0 ] - then echo OK - else - cmp -s rose_mm.c without/$file.out - if [ $? -eq 0 ]; then echo OK; else echo failed; fi - fi -done -rm rose_mm.c - - |