with "help" only print uniq options.
authorGengbin Zheng <gzheng@illinois.edu>
Mon, 17 Jan 2005 04:03:44 +0000 (04:03 +0000)
committerGengbin Zheng <gzheng@illinois.edu>
Mon, 17 Jan 2005 04:03:44 +0000 (04:03 +0000)
build

diff --git a/build b/build
index 3d3f14c378679acbf00d7fafcebd79b6d1558e87..785312a7384b1ad0e06cf0462bab006cba66e9cd 100755 (executable)
--- a/build
+++ b/build
@@ -130,6 +130,7 @@ 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`
     echo $str $opts
   done
   exit 1