diff options
-rwxr-xr-x | merge-helpers/check_submission | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/merge-helpers/check_submission b/merge-helpers/check_submission index 47ea6cf..a934646 100755 --- a/merge-helpers/check_submission +++ b/merge-helpers/check_submission @@ -614,7 +614,8 @@ function check_given_dir(){ } # Evaluating Command Line Arguments -function start(){ +function start() +{ path="0" @@ -650,7 +651,8 @@ function start(){ ;; *) - if [[ -d "$i" ]]; then # If not above options, then assumed to be a path for bsp + # If not above options, then assumed to be a path for bsp + if [[ -d "$i" ]]; then echo > /dev/null else echo "$i is an invalid directory." |