| author | "Jerzy Grzegorek" <jerzy.grzegorek@trzebnica.net> |
| Thu Mar 21 11:01:09 2013 +0100 (2013-03-21) | |
| changeset 3205 | 30de175d3ed3 |
| permissions | -rw-r--r-- |
1 diff -ru ltrace-0.5.3.org/configure ltrace-0.5.3/configure
2 --- ltrace-0.5.3.org/configure 2011-08-21 18:55:15.000000000 +0200
3 +++ ltrace-0.5.3/configure 2011-08-21 18:54:46.000000000 +0200
4 @@ -15,8 +15,12 @@
5 echo $PACKAGE_VERSION
7 echo -n "checking HOST_OS... "
8 -HOST_OS=$( uname -s )
9 -if [ "$HOST_OS" = "Linux" ]
10 +if [ -z "$HOST_OS" ] ; then
11 + HOST_OS=$( uname -s )
12 +else
13 + echo -n "using preset: "
14 +fi
15 +if [ "$HOST_OS" = "Linux" -o "$HOST_OS" = "linux" ]
16 then
17 HOST_OS="linux-gnu"
18 fi