get files from ../include/linux if not here
authorPaul Mackerras <paulus@samba.org>
Wed, 31 Mar 1999 05:38:29 +0000 (05:38 +0000)
committerPaul Mackerras <paulus@samba.org>
Wed, 31 Mar 1999 05:38:29 +0000 (05:38 +0000)
linux/kinstall.sh

index efb242087db5b54569bc8665f12408578e6c6a6f..0391a231c3fca4230cb76fe793e8e3f7491f28d4 100755 (executable)
@@ -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