From: Rene Gassmoeller 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}"