minor change so the build make changes from scratch (some files are hence removed)
authorGengbin Zheng <gzheng@illinois.edu>
Mon, 28 Feb 2011 19:04:34 +0000 (13:04 -0600)
committerGengbin Zheng <gzheng@illinois.edu>
Mon, 28 Feb 2011 19:04:34 +0000 (13:04 -0600)
build

diff --git a/build b/build
index f5a2b092036a39be5f423c6bbfb7c9046ed16190..1b45e3ebcfc25bb3def68789712dc9c060f544e8 100755 (executable)
--- a/build
+++ b/build
@@ -463,6 +463,7 @@ rm -f $DESTINATION/tmp/Make.depends
 rm -f $DESTINATION/tmp/Make.cidepends
 rm -f $DESTINATION/tmp/Make.lb
 rm -f $DESTINATION/tmp/Make.machine
+rm -f $DESTINATION/tmp/Make.extlib
 
 
 # Create the bin, lib, include, etc. links: