From 5832cfe256a5de9f9d93b7b6709dff7cfba2e68d Mon Sep 17 00:00:00 2001
From: Hrvoje Jasak <h.jasak@wikki.co.uk>
Date: Fri, 1 Nov 2019 12:05:14 +0000
Subject: [PATCH] Correct default optimisation option

---
 etc/cshrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/cshrc b/etc/cshrc
index 683293a0f..c31e0e2a0 100644
--- a/etc/cshrc
+++ b/etc/cshrc
@@ -159,7 +159,7 @@ if ( ! $?WM_LABEL_SIZE ) setenv WM_LABEL_SIZE 32
 # WM_COMPILE_OPTION = Opt | Debug | Prof
 if ( ! $?WM_COMPILE_OPTION ) setenv WM_COMPILE_OPTION Opt
 #setenv WM_COMPILE_OPTION Opt
-setenv WM_COMPILE_OPTION Debug
+#setenv WM_COMPILE_OPTION Debug
 
 # WM_MPLIB = SYSTEMOPENMPI | OPENMPI | MPICH | MPICH-GM | HPMPI | GAMMA | MPI | QSMPI | MVAPICH2
 if ( ! $?WM_MPLIB ) setenv WM_MPLIB OPENMPI