diff options
-rwxr-xr-x | testsuite.awk | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/testsuite.awk b/testsuite.awk index 27e3561..6ece65b 100755 --- a/testsuite.awk +++ b/testsuite.awk @@ -3,11 +3,17 @@ BEGIN { RS = "--\n" FS = ":\n" + split(skip, skiparray, /,/) + for (i in skiparray) + skipdict[skiparray[i]] } function runtest(id, code, output, failed) { + if (id in skipdict) + return + print code > "script.sh" print output > "output" |