From fa5284e8fd778174296667d240e6441ac4f3c0d9 Mon Sep 17 00:00:00 2001 From: 13518104 Kevin Austin Stefano <13518104@std.stei.itb.ac.id> Date: Sat, 6 Mar 2021 20:13:58 +0700 Subject: [PATCH] repair file --- src/grade-openmp.sh | 2 +- src/grade-openmpi.sh | 2 +- src/openmp-script.sh | 0 3 files changed, 2 insertions(+), 2 deletions(-) mode change 100644 => 100755 src/openmp-script.sh diff --git a/src/grade-openmp.sh b/src/grade-openmp.sh index 9fb5275..bc424e3 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 010c5c4..6e71e02 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 -- GitLab