From babe4762c69bddd538cf5f6230453065d95d9b83 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 13 Sep 2006 13:37:40 +0000
Subject: [PATCH] compilation script changes

---
 Robust/src/buildscriptrepair | 4 ++++
 1 file changed, 4 insertions(+)

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
-- 
2.34.1