From: bdemsky <bdemsky>
Date: Wed, 13 Sep 2006 13:37:40 +0000 (+0000)
Subject: compilation script changes
X-Git-Tag: preEdgeChange~826
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=babe4762c69bddd538cf5f6230453065d95d9b83;p=IRC.git

compilation script changes
---

diff --git a/Robust/src/buildscriptrepair b/Robust/src/buildscriptrepair
index 69dd5dd9..1f495db7 100755
--- a/Robust/src/buildscriptrepair
+++ b/Robust/src/buildscriptrepair
@@ -28,9 +28,12 @@ mkdir $BUILDDIR/specdir
 cp $REPAIRROOT/MCC/CRuntime/* $BUILDDIR/specdir
 
 echo > $BUILDDIR/specs
+
 # compile specs into C code
 for i in *
 do
+if [ "$i" != "CVS" ]
+then
 cd $SPECDIR/$i
 cat $BUILDDIR/structfile.struct $i.label > $i.struct
 java -cp $REPAIRROOT/:. MCC.Compiler -name $i -checkonly $i
@@ -38,6 +41,7 @@ ls
 cp size.[c,h] $BUILDDIR/specdir
 cp $i.c $i\_aux.[c,h] $BUILDDIR/specdir
 echo $i >> $BUILDDIR/specs
+fi
 done
 
 #compile C code