From 91d19fa519feae5392a359c435790a1a55999fb8 Mon Sep 17 00:00:00 2001
From: Paul Mackerras <paulus@samba.org>
Date: Wed, 31 Mar 1999 05:38:29 +0000
Subject: [PATCH] get files from ../include/linux if not here

---
 linux/kinstall.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/linux/kinstall.sh b/linux/kinstall.sh
index efb2420..0391a23 100755
--- a/linux/kinstall.sh
+++ b/linux/kinstall.sh
@@ -115,6 +115,14 @@ newer () {
 
 installfile () {
   BASE=`basename $1`
+  if [ ! -e $BASE ]; then
+    if [ -e ../include/linux/$BASE ]; then
+      BASE=../include/linux/$BASE
+    else
+      echo Could not find source file $BASE !
+      false ; return
+    fi
+  fi
   if newer $1 $BASE; then
     echo $1 is not older than $BASE, skipping
     return 0
-- 
2.39.2