]> https://gitweb.dealii.org/ - candi.git/commitdiff
Say what option it is that isn't recognized. 228/head 229/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Thu, 1 Jul 2021 19:44:49 +0000 (13:44 -0600)
committerWolfgang Bangerth <bangerth@colostate.edu>
Thu, 1 Jul 2021 19:55:59 +0000 (13:55 -0600)
candi.sh

index 5afb4ed190e8cb2ec54c558262eca8d763229408..1904c1e9a77147208dc2e2a20a2e7cc972a41ded 100755 (executable)
--- a/candi.sh
+++ b/candi.sh
@@ -108,7 +108,7 @@ while [ -n "$1" ]; do
         ;;
 
        *)
-           echo "invalid command line option. See -h for more information."
+           echo "invalid command line option <$param>. See -h for more information."
            exit 1
     esac
     shift

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.