diff options
-rw-r--r-- | CC/test/test_runner.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CC/test/test_runner.sh b/CC/test/test_runner.sh index 716eaa9..84b9072 100644 --- a/CC/test/test_runner.sh +++ b/CC/test/test_runner.sh @@ -42,7 +42,7 @@ else RESULT=FAIL fi date +%s > ../time-stop -echo "${RESULT}" > result +echo "${RESULT}" > ../result if [ "${RESULT}" '!=' PASS ] then |