From 5e1cac2e5e6456794149b3a9d62a7e6f036369ed Mon Sep 17 00:00:00 2001 From: Philip Eisenlohr Date: Fri, 29 Jul 2016 17:46:22 -0400 Subject: [PATCH] pretty-printing of CONFIG --- CONFIG | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/CONFIG b/CONFIG index b701ec3c7..9be3a95fb 100644 --- a/CONFIG +++ b/CONFIG @@ -1,10 +1,11 @@ # "set"-syntax needed only for tcsh (but works with bash and zsh) # DAMASK_ROOT will be expanded -set DAMASK_BIN=${DAMASK_ROOT}/bin -set DAMASK_NUM_THREADS = 4 +set DAMASK_BIN = ${DAMASK_ROOT}/bin -set MSC_ROOT=/opt/MSC -set MARC_VERSION=2015 +set DAMASK_NUM_THREADS = 4 -set ABAQUS_VERSION=6.14-5 +set MSC_ROOT = /opt/MSC +set MARC_VERSION = 2015 + +set ABAQUS_VERSION = 6.14-5