From dc5c42701c74cae8a22baf32872b8da403a3f6a2 Mon Sep 17 00:00:00 2001
From: mattijs <mattijs>
Date: Wed, 6 Jul 2016 09:23:55 +0100
Subject: [PATCH] BUG: config.csh: wrong variable. Fixes #176
---
etc/config.csh/settings | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/etc/config.csh/settings b/etc/config.csh/settings
index 24ef70ab9dd..892f28fa370 100644
--- a/etc/config.csh/settings
+++ b/etc/config.csh/settings
@@ -208,7 +208,7 @@ unsetenv GMP_ARCH_PATH MPFR_ARCH_PATH
# Location of compiler installation
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
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 " WM_COMPILER_TYPE not set, using '$WM_COMPILER_TYPE'"
endif
--
GitLab