From ec6d94ff783bcd866621f1d56c07de02cf9d0df9 Mon Sep 17 00:00:00 2001 From: Rene Gassmoeller Date: Fri, 2 Jun 2017 12:41:21 -0500 Subject: [PATCH] Use tr instead of bash specific command --- deal.II-toolchain/packages/dealii-prepare.package | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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}" -- 2.39.5