From: Rene Gassmoeller <rene.gassmoeller@mailbox.org>
Date: Fri, 2 Jun 2017 17:41:21 +0000 (-0500)
Subject: Use tr instead of bash specific command
X-Git-Tag: v0.8.5~19^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ec6d94ff783bcd866621f1d56c07de02cf9d0df9;p=candi.git

Use tr instead of bash specific command
---

diff --git a/deal.II-toolchain/packages/dealii-prepare.package b/deal.II-toolchain/packages/dealii-prepare.package
index 025573f..8f5b845 100644
--- a/deal.II-toolchain/packages/dealii-prepare.package
+++ b/deal.II-toolchain/packages/dealii-prepare.package
@@ -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}"