fix repair file

diff --git a/Robust/src/buildscriptrepair b/Robust/src/buildscriptrepair
index c03952f45ae4b0a4b3aa4e42d665414e4dd4242f..0d365a9f83cb3471c900f5a3e7024e7bab748bb7 100755 (executable)
--- 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