gatherflat/tree call alternative scripts if they exist.
authorGengbin Zheng <gzheng@illinois.edu>
Fri, 5 Nov 2010 05:57:19 +0000 (00:57 -0500)
committerGengbin Zheng <gzheng@illinois.edu>
Fri, 5 Nov 2010 05:57:19 +0000 (00:57 -0500)
build
src/scripts/gatherflat
src/scripts/gathertree

diff --git a/build b/build
index df481e44134bdf4afb1bcd95e5b0b498647e168b..7f8044b23469c118072b726f967059c0051dd766 100755 (executable)
--- a/build
+++ b/build
@@ -484,6 +484,8 @@ then
        echo "Copying $src/win32/createlink.exe to /bin directory"
        cp $src/win32/createlink.exe /bin
         chmod +x $DESTINATION/tmp/system_ln
+       cp $src/win32/gathertree.local   $DESTINATION/tmp
+       cp $src/win32/gatherflat.local   $DESTINATION/tmp
 else
        cat > $DESTINATION/tmp/system_ln <<EOF
 #!/bin/sh
index d492a33f44ba9d51b088f2b8fd10a195d3d7762b..1d3f0d64c0b2c6c6df21ae8dcf2bc0fe6b4c95b6 100755 (executable)
@@ -1,5 +1,7 @@
 #!/bin/sh
 
+[ -x ./gatherflat.local ]  && exec ./gatherflat.local $@
+
 if [ -d $1 ] ; then
 
 SRC=$1
index 72578f380982a62d7f005627c06f88e213505a6b..31e47fcbea9edf4e22564e9e1ab8b97b6bfc54d2 100755 (executable)
@@ -1,4 +1,7 @@
 #!/bin/sh
+
+[ -x ./gathertree.local ]  && exec ./gathertree.local $@
+
 if [ "x$SYSTEMLN" = "x" ]; then SYSTEMLN="./system_ln"; fi
 
 SRC=$1