Date: Friday, April 6, 2007 @ 16:29:09
Author: marc
Path: /cvsroot/carob/carob
Modified: configure (1.3 -> 1.4)
--getos does not save config.os anymore. Needed by make dist!
-----------+
configure | 13 +++++++++----
1 files changed, 9 insertions(+), 4 deletions(-)
Index: carob/configure
diff -u carob/configure:1.3 carob/configure:1.4
--- carob/configure:1.3 Fri Mar 9 19:12:43 2007
+++ carob/configure Fri Apr 6 16:29:09 2007
@@ -28,11 +28,16 @@
CONFIGURED_OS=./config.os
+guess()
+{
+ uname -s
+}
+
guess_and_save()
{
# http://en.wikipedia.org/wiki/Uname
printf "OS=" > ${CONFIGURED_OS}
- uname -s >> ${CONFIGURED_OS}
+ guess >> ${CONFIGURED_OS}
}
if [ "$1" = "--clean" ]
@@ -43,12 +48,12 @@
## Get configured OS. Terse output here since called by GNUMakefile
if [ "$1" = "--getos" ]
then
- # Guess it and save it not already defined (by user or by us)
if [ ! -r ${CONFIGURED_OS} ]
- then guess_and_save
- fi
+ then guess
+ else
. ${CONFIGURED_OS}
printf "${OS}"
+ fi
exit
fi
_______________________________________________
Carob-commits mailing list
[email protected]
https://forge.continuent.org/mailman/listinfo/carob-commits
