diff options
Diffstat (limited to 'src/configure')
| -rwxr-xr-x | src/configure | 23 |
1 files changed, 12 insertions, 11 deletions
diff --git a/src/configure b/src/configure index fbf182efd78..f00af007887 100755 --- a/src/configure +++ b/src/configure @@ -589,13 +589,13 @@ nextstep*) os=nextstep;; hpux*) os=hpux;; osf*) os=alpha;; sco*) os=sco;; - sysv4*) os=svr4;; machten*) os=machten;; sysv4.2*) case "$host_vendor" in univel) os=univel;; *) os=unknown;; esac ;; + sysv4*) os=svr4;; *) echo "" echo "*************************************************************" echo "configure does not currently recognize your operating system," @@ -682,16 +682,17 @@ fi export TEMPLATE echo "" -AROPT=`grep AROPT $TEMPLATE | awk -F: '{print $2}'` -SHARED_LIB=`grep SHARED_LIB $TEMPLATE | awk -F: '{print $2}'` -CFLAGS=`grep CFLAGS $TEMPLATE | awk -F: '{print $2}'` -SRCH_INC=`grep SRCH_INC $TEMPLATE | awk -F: '{print $2}'` -SRCH_LIB=`grep SRCH_LIB $TEMPLATE | awk -F: '{print $2}'` -USE_LOCALE=`grep USE_LOCALE $TEMPLATE | awk -F: '{print $2}'` -DLSUFFIX=`grep DLSUFFIX $TEMPLATE | awk -F: '{print $2}'` -DL_LIB=`grep DL_LIB $TEMPLATE | awk -F: '{print $2}'` -YACC=`grep YACC $TEMPLATE | awk -F: '{print $2}'` -YFLAGS=`grep YFLAGS $TEMPLATE | awk -F: '{print $2}'` +AROPT=`grep '^AROPT:' $TEMPLATE | awk -F: '{print $2}'` +SHARED_LIB=`grep '^SHARED_LIB:' $TEMPLATE | awk -F: '{print $2}'` +CFLAGS=`grep '^CFLAGS:' $TEMPLATE | awk -F: '{print $2}'` +SRCH_INC=`grep '^SRCH_INC:' $TEMPLATE | awk -F: '{print $2}'` +SRCH_LIB=`grep '^SRCH_LIB:' $TEMPLATE | awk -F: '{print $2}'` +USE_LOCALE=`grep '^USE_LOCALE:' $TEMPLATE | awk -F: '{print $2}'` +DLSUFFIX=`grep '^DLSUFFIX:' $TEMPLATE | awk -F: '{print $2}'` +DL_LIB=`grep '^DL_LIB:' $TEMPLATE | awk -F: '{print $2}'` +YACC=`grep '^YACC:' $TEMPLATE | awk -F: '{print $2}'` +YFLAGS=`grep '^YFLAGS:' $TEMPLATE | awk -F: '{print $2}'` +CC=`grep '^CC:' $TEMPLATE | awk -F: '{print $2}'` echo "**************************************************************" |