patches/ltrace/0.5.3/200-configure-hostos.patch
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Sep 21 22:42:35 2011 +0200 (2011-09-21)
changeset 2677 7df89370f805
permissions -rw-r--r--
kernel/linux: add alternate download locations

Since kernel.org is dead, and there is no announced or known estimated
time or return to normality, it is impossible to download any kernel at
this time.

Add a known-working mirror.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
titus@2630
     1
diff -ru ltrace-0.5.3.org/configure ltrace-0.5.3/configure
titus@2630
     2
--- ltrace-0.5.3.org/configure	2011-08-21 18:55:15.000000000 +0200
titus@2630
     3
+++ ltrace-0.5.3/configure	2011-08-21 18:54:46.000000000 +0200
titus@2630
     4
@@ -15,8 +15,12 @@
titus@2630
     5
 echo $PACKAGE_VERSION
titus@2630
     6
 
titus@2630
     7
 echo -n "checking HOST_OS... "
titus@2630
     8
-HOST_OS=$( uname -s )
titus@2630
     9
-if [ "$HOST_OS" = "Linux" ]
titus@2630
    10
+if [ -z "$HOST_OS" ] ; then
titus@2630
    11
+  HOST_OS=$( uname -s )
titus@2630
    12
+else
titus@2630
    13
+  echo -n "using preset: "
titus@2630
    14
+fi
titus@2630
    15
+if [ "$HOST_OS" = "Linux" -o "$HOST_OS" = "linux" ]
titus@2630
    16
 then
titus@2630
    17
   HOST_OS="linux-gnu"
titus@2630
    18
 fi