aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure8
1 files changed, 4 insertions, 4 deletions
diff --git a/configure b/configure
index 3060aef34b..4f6dce2969 100755
--- a/configure
+++ b/configure
@@ -110,14 +110,13 @@ case $arch_spec in
ARCH=`/usr/bin/arch`
elif test -f /usr/ucb/arch ; then
ARCH=`/usr/ucb/arch`
- elif test -f /bin/uname ; then
- ARCH=`/bin/uname -m`
+ elif /bin/uname -s | grep -q -i CYGWIN ; then
+ ARCH=win32
else
echo "I can not automatically find the name of your architecture"
echo -n\
"Give me a name, please [win32 for Win95, Win98 or WinNT]: "
read ARCH
-
fi;;
yes) ARCH=$arch
esac
@@ -444,7 +443,8 @@ let camlp4lib = "$CAMLP4LIB"
let best = "$best_compiler"
let arch = "$ARCH"
let osdeplibs = "$OSDEPLIBS"
-(* let defined = [ "$OSTYPE" ] *)
+(* this does seem to be used any longer
+let defined = [ "$OSTYPE" ] *)
let version = "$VERSION"
let versionsi = "$VERSIONSI"
let date = "$DATE"