author | Yann Diorcet <diorcet.yann@gmail.com> |
Mon Nov 19 11:19:54 2012 +0100 (2012-11-19) | |
changeset 3117 | 2b64e1b502cd |
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