projects
/
IRC.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
4d27000
)
compilation script changes
author
bdemsky
<bdemsky>
Wed, 13 Sep 2006 13:37:40 +0000
(13:37 +0000)
committer
bdemsky
<bdemsky>
Wed, 13 Sep 2006 13:37:40 +0000
(13:37 +0000)
Robust/src/buildscriptrepair
patch
|
blob
|
history
diff --git
a/Robust/src/buildscriptrepair
b/Robust/src/buildscriptrepair
index 69dd5dd91f71bd30a591a2095403a3b42addd829..1f495db7088d180b113d245fab6abbb04570b911 100755
(executable)
--- 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