mirrors/ppp
0
0
Fork 0
mirror of https://github.com/paulusmack/ppp.git synced 2024-12-12 04:43:56 +08:00
Code Issues Packages Projects Releases Wiki Activity

get files from ../include/linux if not here

Browse Source
This commit is contained in:
Paul Mackerras 1999-03-31 05:38:29 +00:00
parent ec78dccdeb
commit 91d19fa519
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
linux/kinstall.sh
View File

@ -115,6 +115,14 @@ newer () {
installfile () { installfile () {
BASE=`basename $1` 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 if newer $1 $BASE; then
echo $1 is not older than $BASE, skipping echo $1 is not older than $BASE, skipping
return 0 return 0