diff options
author | Jérémy Zurcher <jeremy@asynk.ch> | 2012-08-22 21:25:24 +0200 |
---|---|---|
committer | Jérémy Zurcher <jeremy@asynk.ch> | 2012-08-22 21:25:24 +0200 |
commit | 37a7224c29c209659b0078b6f4bbf8a46b509b63 (patch) | |
tree | a37480a7c6bc5671022da8e4445d49a3765edad7 | |
parent | 5b34322a3ec381dd788087dd0033d188d0d2cf18 (diff) | |
download | bin-37a7224c29c209659b0078b6f4bbf8a46b509b63.zip bin-37a7224c29c209659b0078b6f4bbf8a46b509b63.tar.gz |
easy_e17.sh: say if no patch dir found
-rwxr-xr-x | easy_e17.sh | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/easy_e17.sh b/easy_e17.sh index 83273b0..d4f21f5 100755 --- a/easy_e17.sh +++ b/easy_e17.sh @@ -1365,9 +1365,13 @@ pkg_total=`echo "$updated_packages" | wc -w` # patches open_header "Apply local patches" cd $src_path -for patch in $(ls -1 $src_patch_path); do - echo " - apply $patch" && patch -p 1 -N -r - < $src_patch_path/$patch -done +if [ -d $src_patch_path ]; then + for patch in $(ls -1 $src_patch_path); do + echo " - apply $patch" && patch -p 1 -N -r - < $src_patch_path/$patch + done +else + echo " - no $src_patch_path directory" +fi # build/install open_header "Compilation & installation" |