scripts/Bootstrap/Pmodules/profile.bash:

- bugfix PMODULES_PREFIX has been renamed to PMODULES_ROOT
This commit is contained in:
2015-07-09 10:21:28 +02:00
parent f08150143d
commit 5d87ddc1b2

View File

@@ -15,12 +15,12 @@ unset _init_env_file
############################################################################
# check configuration
#
if [[ -z ${PMODULES_PREFIX} ]]; then
echo "Oops: Pmodules prefix not set." 1>&2
if [[ -z ${PMODULES_ROOT} ]]; then
echo "Oops: Pmodules root not set." 1>&2
return 1
fi
if [[ ! -d ${PMODULES_PREFIX} ]]; then
echo "Oops: ${PMODULES_PREFIX}: Set as Pmodules prefix, but this is not a directory." 1>&2
if [[ ! -d ${PMODULES_ROOT} ]]; then
echo "Oops: ${PMODULES_ROOT}: Set as Pmodules root, but this is not a directory." 1>&2
return 1
fi
if [[ -z ${PMODULES_VERSION} ]]; then