diff options
| author | Paul Mackerras <paulus@samba.org> | 1999-03-31 05:38:29 +0000 |
|---|---|---|
| committer | Paul Mackerras <paulus@samba.org> | 1999-03-31 05:38:29 +0000 |
| commit | 91d19fa519feae5392a359c435790a1a55999fb8 (patch) | |
| tree | 2998130bdaccfb857b0a468a5e66c15f167d9ffe | |
| parent | ec78dccdebd40253b1f26fdab3aa5a2e418ea9cd (diff) | |
| download | ppp-91d19fa519feae5392a359c435790a1a55999fb8.tar.gz | |
get files from ../include/linux if not here
| -rwxr-xr-x | linux/kinstall.sh | 8 |
1 files changed, 8 insertions, 0 deletions
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 |