fixed "help" print.
authorGengbin Zheng <gzheng@illinois.edu>
Fri, 21 Jan 2005 08:29:15 +0000 (08:29 +0000)
committerGengbin Zheng <gzheng@illinois.edu>
Fri, 21 Jan 2005 08:29:15 +0000 (08:29 +0000)
build

diff --git a/build b/build
index 785312a7384b1ad0e06cf0462bab006cba66e9cd..fd218d1a8ded276c1806bdb8e6a16622f8b42b99 100755 (executable)
--- a/build
+++ b/build
@@ -130,7 +130,14 @@ printOption() {
           files=`cd $dir; ls $prefix-*.h 2>/dev/null`
           opts="$opts "`echo $files | sed 's/'$prefix'-\([^.]*\).h/\1/g'`
     done 
-    opts=`echo $opts | sed -e 's/ /\n/g' | sort | uniq`
+    tmp=.tmp.$$
+    rm -f $tmp; touch $tmp
+    for o in $opts
+    do
+      echo $o >> $tmp
+    done
+    opts=`sort $tmp | uniq`
+    rm -f $tmp
     echo $str $opts
   done
   exit 1