BUG: config.csh: wrong variable. Fixes #176

This commit is contained in:
mattijs
2016-07-06 09:23:55 +01:00
parent 45198c5884
commit dc5c42701c

View File

@ -208,7 +208,7 @@ unsetenv GMP_ARCH_PATH MPFR_ARCH_PATH
# Location of compiler installation # Location of compiler installation
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
if ( ! $?WM_COMPILER_TYPE ) then if ( ! $?WM_COMPILER_TYPE ) then
set WM_COMPILER_TYPE=system setenv WM_COMPILER_TYPE system
echo "Warning in $WM_PROJECT_DIR/etc/config.csh/settings:" echo "Warning in $WM_PROJECT_DIR/etc/config.csh/settings:"
echo " WM_COMPILER_TYPE not set, using '$WM_COMPILER_TYPE'" echo " WM_COMPILER_TYPE not set, using '$WM_COMPILER_TYPE'"
endif endif