diff options
Diffstat (limited to '')
| -rw-r--r-- | autograde-Makefile | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/autograde-Makefile b/autograde-Makefile new file mode 100644 index 0000000..e05a823 --- /dev/null +++ b/autograde-Makefile @@ -0,0 +1,10 @@ +# This file is called in a VM by the autograder +all: + tar -mxf autograde.tar + # We are requied by AutoLab to always terminate + # by printing a valid score string. If ./run.sh + # exists with an error, this will not happen. + ./run.sh || \ + ( echo "run.sh exited with non-zero exit code.";\ + echo "Contact course staff."; \ + echo "{\"score\": {}}" ) |