From: bdemsky <bdemsky>
Date: Wed, 6 Sep 2006 21:36:04 +0000 (+0000)
Subject: fix repair file
X-Git-Tag: preEdgeChange~833
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=1be24d9ef84920ad644b0c1c105ac9da8cc24d46;p=IRC.git

fix repair file
---

diff --git a/Robust/src/buildscriptrepair b/Robust/src/buildscriptrepair
index c03952f4..0d365a9f 100755
--- a/Robust/src/buildscriptrepair
+++ b/Robust/src/buildscriptrepair
@@ -32,7 +32,7 @@ for i in *
 do
 cd $SPECDIR/$i
 cat $BUILDDIR/structfile.struct $i.label > $i.struct
-java -cp $REPAIRROOT/:. MCC.Compiler -checkonly $i
+java -cp $REPAIRROOT/:. MCC.Compiler -name $i -checkonly $i
 ls
 cp size.[c,h] $BUILDDIR/specdir
 cp $i.c $i\_aux.[c,h] $BUILDDIR/specdir