allows to use gathertree to gather new directories (such as new examples or tests...
authorFilippo Gioachin <gioachin@illinois.edu>
Tue, 29 Sep 2009 22:06:50 +0000 (22:06 +0000)
committerFilippo Gioachin <gioachin@illinois.edu>
Tue, 29 Sep 2009 22:06:50 +0000 (22:06 +0000)
src/scripts/gathertree

index d797a7faa3c2104c88605deccd895a4b63c239b2..72578f380982a62d7f005627c06f88e213505a6b 100755 (executable)
@@ -1,4 +1,5 @@
 #!/bin/sh
+if [ "x$SYSTEMLN" = "x" ]; then SYSTEMLN="./system_ln"; fi
 
 SRC=$1
 DST=$2
@@ -21,7 +22,7 @@ echo '{ nUp=0; for (i=1;i<NF;i++)
        pah=""; for (i=0;i<nUp;i++) {pah=pah"../"}; print pah
 } ' > tmp1.awk
 echo '{print "pah=`echo '$DST'"$1" | awk -F/ -f tmp1.awk`" ;' > tmp2.awk
-echo ' print "./system_ln $pah'$SRC'"$1" '$DST'"$1 }' >> tmp2.awk
+echo ' print "'$SYSTEMLN' $pah'$SRC'"$1" '$DST'"$1 }' >> tmp2.awk
 awk -f tmp2.awk <temp.f >temp.l
 # execute shell script to create directories
 sh temp.m