From 1be24d9ef84920ad644b0c1c105ac9da8cc24d46 Mon Sep 17 00:00:00 2001 From: bdemsky Date: Wed, 6 Sep 2006 21:36:04 +0000 Subject: [PATCH] fix repair file --- Robust/src/buildscriptrepair | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.34.1