diff --git a/src/grade-openmp.sh b/src/grade-openmp.sh index 9fb5275ba6098fbaea39261295cbc54c5e5229b6..bc424e3573e53e43e3aed47351eb3644d8f055c0 100644 --- a/src/grade-openmp.sh +++ b/src/grade-openmp.sh @@ -1,7 +1,7 @@ #!/bin/bash if [ "$#" -ne 2 ]; then - echo "Usage: ./autograde.sh 13518056 13518104" + echo "Usage: ./autograde.sh <nim> <openmp_output_directory>" exit fi diff --git a/src/grade-openmpi.sh b/src/grade-openmpi.sh index 010c5c4d3424e620ba40c0805d4da15bf3733270..6e71e021f1d80007dd16bd7ef2c1f65c73cd99cb 100644 --- a/src/grade-openmpi.sh +++ b/src/grade-openmpi.sh @@ -1,7 +1,7 @@ #!/bin/bash if [ "$#" -ne 2 ]; then - echo "Usage: ./autograde.sh 13518056 13518104" + echo "Usage: ./autograde.sh <nim> <openmpi_output_directory>" exit fi diff --git a/src/openmp-script.sh b/src/openmp-script.sh old mode 100644 new mode 100755