From: Uwe Köcher <koecher@hsu-hamburg.de>
Date: Mon, 2 Nov 2015 16:48:37 +0000 (+0100)
Subject: candi: cleaned up command line options
X-Git-Tag: v0.8~7^2~19
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=05e1ed404b5ff54b2a313ee3ec02ff199efb88ef;p=candi.git

candi: cleaned up command line options
---

diff --git a/candi.sh b/candi.sh
index dc1ab88..80c1ab2 100755
--- a/candi.sh
+++ b/candi.sh
@@ -43,7 +43,7 @@ for param in "$@"; do
     case $param in
         #####################################
         # Prefix path
-        -p=*|--prefix=*|--PREFIX_PATH=*)
+        -p=*|--prefix=*)
             PREFIX="${param#*=}"
             # replace '~' by $HOME
             PREFIX=${PREFIX/#~\//$HOME\/}
@@ -51,7 +51,7 @@ for param in "$@"; do
         
         #####################################
         # Number of maximum processes to use
-        -np=*|--np=*|--procs=*|--PROCS=*)
+        --PROCS=*)
             NP="${param#*=}"
         ;;
         # Make styled processes