diff options
author | Joel Sherrill <joel.sherrill@oarcorp.com> | 2014-06-03 10:37:44 -0500 |
---|---|---|
committer | Joel Sherrill <joel.sherrill@oarcorp.com> | 2014-06-03 10:54:28 -0500 |
commit | 98cefe7c59b7d81104b6a889d9ee390e1bd7edae (patch) | |
tree | 1127fff35e7352a352021f699775faf7aaf095db /merge-helpers | |
parent | 32a4ebc59f20fbdaa909345ab41bc5e07a432c1b (diff) |
check_submission: Style fixes
Diffstat (limited to 'merge-helpers')
-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." |