if user choose not to build share libs, build script remembers the choice by writing...
authorGengbin Zheng <gzheng@illinois.edu>
Sun, 11 Jan 2004 20:34:43 +0000 (20:34 +0000)
committerGengbin Zheng <gzheng@illinois.edu>
Sun, 11 Jan 2004 20:34:43 +0000 (20:34 +0000)
build

diff --git a/build b/build
index f1fb7ab78232b4d57be115c69ffc193e02caeeee..2555097c48af3d90caef6476e1d46f3fafb86b86 100755 (executable)
--- a/build
+++ b/build
@@ -211,14 +211,13 @@ do
                CheckDir $incdir
                INCDIR="$INCDIR -I$incdir"; shift
                ;;
-           --no-build-shared|-nobs|--build-shared|-bs)
-               # obsolete
-               BUILD_SHARED="$1"; shift
-               ;;
-           --no-shared)
-               # obsolete
+           --no-build-shared|-nobs|--no-shared)
                BUILD_SHARED="-nobs"; shift
                ;;
+           --build-shared|-bs)
+               # obsolete, do nothing
+               shift
+               ;;
            -j*)
                 PMAKENUM=`echo $1 | awk -Fj '{print $2}'`
                MAKEOPTS="$MAKEOPTS -j $PMAKENUM"
@@ -348,6 +347,10 @@ then
       echo '. $CHARMINC/'"conv-mach-$i.sh" >> $ConvSh
     done
 fi
+if test  -n "$BUILD_SHARED" 
+then
+    echo "CMK_NO_BUILD_SHARED=true" >> $ConvSh
+fi
 
 
 echo $BASEVERSION > $VERSION/tmp/.vdir