create dummy Makefile.machine
authorGengbin Zheng <gzheng@illinois.edu>
Sat, 4 Feb 2006 17:05:47 +0000 (17:05 +0000)
committerGengbin Zheng <gzheng@illinois.edu>
Sat, 4 Feb 2006 17:05:47 +0000 (17:05 +0000)
build

diff --git a/build b/build
index 49f332639780122aa546baf64717aedaa9dc2914..5d57128d2042bd6a2aacb5acd1422857b3678c1a 100755 (executable)
--- a/build
+++ b/build
@@ -334,6 +334,7 @@ echo "Copying src/scripts/Makefile to $VERSION/tmp"
 rm -f $VERSION/tmp/Makefile
 rm -f $VERSION/tmp/Make.depends
 rm -f $VERSION/tmp/Make.lb
+rm -f $VERSION/tmp/Make.machine
 
 
 # Create the bin, lib, include, etc. links:
@@ -369,6 +370,7 @@ fi
 $VERSION/tmp/system_ln "../../src/scripts/Make.depends" $VERSION/tmp/Make.depends
 $VERSION/tmp/system_ln "../../src/ck-ldb/Make.lb" $VERSION/tmp/Make.lb
 $VERSION/tmp/system_ln "../../src/scripts/Makefile" $VERSION/tmp/Makefile
+touch $VERSION/tmp/Makefile.machine
 
 ConvUsr="$VERSION/tmp/conv-mach-pre.sh"
 echo "Generating $ConvUsr"