From 2cc4a3fa7aaa067cf5c6ab85b537acaedce465ff Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <thomas@schwinge.name>
Date: Sat, 17 Sep 2011 12:58:27 +0200
Subject: Remove old GNU Mach install-headers target.

---
 cross-gnu | 14 +++-----------
 1 file changed, 3 insertions(+), 11 deletions(-)

diff --git a/cross-gnu b/cross-gnu
index 790a09336..623903bf4 100755
--- a/cross-gnu
+++ b/cross-gnu
@@ -143,17 +143,9 @@ if ./config.status --version > /dev/null 2>&1; then :; else
     --host="$TARGET" \
     --prefix=
 fi &&
-if grep -q install-data "$GNUMACH_SRC"/Makefile.in; then
-  "$MAKE" \
-    DESTDIR="$SYS_ROOT" \
-    install-data
-else
-  # Old.
-  "$MAKE" \
-    prefix="$SYS_ROOT" \
-    no_deps=t \
-    install-headers
-fi &&
+"$MAKE" \
+  DESTDIR="$SYS_ROOT" \
+  install-data &&
 
 
 # Install a cross GNU MIG.
-- 
cgit v1.2.3