diff options
Diffstat (limited to 'make_patch')
-rwxr-xr-x | make_patch | 23 |
1 files changed, 13 insertions, 10 deletions
diff --git a/make_patch b/make_patch index c2a1e50f8a..2e9246f4d7 100755 --- a/make_patch +++ b/make_patch @@ -2,27 +2,30 @@ old=$1 new=$2 nm=$3- + newarc=$nm$new.tar.gz oldarc=$nm$old.tar.gz -if [ ! -f $newarc ] -then - echo cant find $newarc - exit -fi -if [ ! -f $oldarc ] -then - echo cant find oldarc - exit -fi + + if [ ! -x $nm$new ] then echo untarring .. tar zfxv $nm$new.tar.gz + if [ ! -f $newarc ] + then + echo cant find $newarc + exit + fi fi if [ ! -x $nm$old ] then echo untarring tar zfxv $nm$old.tar.gz + if [ ! -f $oldarc ] + then + echo cant find oldarc + exit + fi fi #(cd $nm$old; touch depend; make clean) |