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 | |
parent | Add removal of CR from output of tsim. (diff) | |
download | rtems-testing-98cefe7c59b7d81104b6a889d9ee390e1bd7edae.tar.bz2 |
check_submission: Style fixes
-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." |