]> https://gitweb.dealii.org/ - candi.git/commitdiff
Use tr instead of bash specific command 30/head
authorRene Gassmoeller <rene.gassmoeller@mailbox.org>
Fri, 2 Jun 2017 17:41:21 +0000 (12:41 -0500)
committerRene Gassmoeller <rene.gassmoeller@mailbox.org>
Fri, 2 Jun 2017 17:41:21 +0000 (12:41 -0500)
deal.II-toolchain/packages/dealii-prepare.package

index 025573f6821b68782e59aa6b710d55a76f7d36ad..8f5b845005bd2c86c50f3d9648039835f197b05d 100644 (file)
@@ -16,7 +16,7 @@ unset option
 unset PACKAGE_NAME
 
 # Transform upper case to lower case.
-PACKAGES_OFF=${PACKAGES_OFF,,}
+PACKAGES_OFF=`echo "$PACKAGES_OFF" | tr '[:upper:]' '[:lower:]'`
 
 if [ ! -z "${PACKAGES_OFF}" ]; then
     cecho ${WARN} "deal.II: forcing package skip for: ${PACKAGES_OFF}"

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.