diff options
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/patches/allow_os_native_build.patch | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/debian/patches/allow_os_native_build.patch b/debian/patches/allow_os_native_build.patch index 22efd32..b891d42 100644 --- a/debian/patches/allow_os_native_build.patch +++ b/debian/patches/allow_os_native_build.patch @@ -1,18 +1,3 @@ -diff -Naur gnumach-20040229.orig/configure gnumach-20040229/configure ---- gnumach-20040229.orig/configure 2004-03-01 00:26:39.000000000 +0100 -+++ gnumach-20040229/configure 2004-09-13 19:25:33.000000000 +0200 -@@ -586,11 +586,6 @@ - *) { echo "configure: error: unsupported CPU type" 1>&2; exit 1; } ;; - esac - --case "$host_os" in --gnu*) ;; --*) { echo "configure: error: sorry, this is the gnu os, not $host_os" 1>&2; exit 1; } ;; --esac -- - - - diff -Naur gnumach-20040229.orig/configure.in gnumach-20040229/configure.in --- gnumach-20040229.orig/configure.in 2004-02-29 21:26:22.000000000 +0100 +++ gnumach-20040229/configure.in 2004-09-13 19:25:03.000000000 +0200 @@ -28,3 +13,18 @@ diff -Naur gnumach-20040229.orig/configure.in gnumach-20040229/configure.in AC_SUBST(systype) AC_SUBST(cross_compiling) +diff -Naur gnumach-20040229.orig/configure gnumach-20040229/configure +--- gnumach-20040229.orig/configure 2004-03-01 00:26:39.000000000 +0100 ++++ gnumach-20040229/configure 2004-09-13 19:26:33.000000000 +0200 +@@ -586,11 +586,6 @@ + *) { echo "configure: error: unsupported CPU type" 1>&2; exit 1; } ;; + esac + +-case "$host_os" in +-gnu*) ;; +-*) { echo "configure: error: sorry, this is the gnu os, not $host_os" 1>&2; exit 1; } ;; +-esac +- + + + |