| author | Yann Diorcet (diorcet.yann@gmail.com) |
| Fri Nov 16 14:59:27 2012 +0100 (2012-11-16) | |
| changeset 3115 | 1c68438f44f7 |
| 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