X-Git-Url: https://git.ozlabs.org/?p=ppp.git;a=blobdiff_plain;f=linux%2Fkinstall.sh;h=0391a231c3fca4230cb76fe793e8e3f7491f28d4;hp=efb242087db5b54569bc8665f12408578e6c6a6f;hb=9786230ddaa4428a4f2ad50be94bb288772a3d49;hpb=17cb2af9422ca600379f897cc94ea173e432d5d6

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