]> https://gitweb.dealii.org/ - candi.git/commitdiff
catch invalid command line parameters
authorTimo Heister <timo.heister@gmail.com>
Mon, 8 Feb 2016 22:31:46 +0000 (17:31 -0500)
committerTimo Heister <timo.heister@gmail.com>
Mon, 8 Feb 2016 22:31:46 +0000 (17:31 -0500)
candi.sh

index 538e185eeaf24914fc96fcadcd9a0f8cd46630c8..6faaf3787761e62d0b193b15e5107e17c3cd9a66 100755 (executable)
--- a/candi.sh
+++ b/candi.sh
@@ -93,6 +93,9 @@ while [ -n "$1" ]; do
             GIVEN_PLATFORM="${param#*=}"
         ;;
        
+       *)
+           echo "invalid command line option. See -h for more information."
+           exit 1
     esac
     shift
 done

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.