Commit 018f5839 authored by POTTIER Francois's avatar POTTIER Francois

Fix export.sh.

parent 33172cf7
......@@ -10,7 +10,7 @@ HASH="git log -1 --pretty=%H"
DATE="/bin/date +%Y%m%d"
# The absolute name of the archive directory.
ARCHIVE=`pwd`/seplogics
if [ "${ARTHUR}" -eq "1" ]; then
if [ ! -z ${ARTHUR+x} ]; then
TLC=~/tlc/src
# Where to find CFML.
CFML=~/cfml
......@@ -37,7 +37,7 @@ mkdir $ARCHIVE/TLC
# Copy a subset of CFML into the archive.
echo "Copying CFML/model..."
mkdir $ARCHIVE/model
if [ "${ARTHUR}" -eq "1" ]; then
if [ ! -z ${ARTHUR+x} ]; then
FILES="ModelState ModelLambda ModelSepFunctor ModelSepBasic ModelSepCredits ModelSepRO ModelCF ModelCFCredits ModelML ModelSepML ModelCFML ModelSepExamples"
else
FILES=`grep -v -e "^ *#" FILES` ;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment