diff options
| author | Jérémy Zurcher <jeremy@asynk.ch> | 2012-02-23 21:18:19 +0100 |
|---|---|---|
| committer | Jérémy Zurcher <jeremy@asynk.ch> | 2012-02-23 21:18:19 +0100 |
| commit | 653c93e41633dde79450a18014a49247314a404a (patch) | |
| tree | 5c5bc3b128d6010ea84eeff5fc4a76dcbadc404f | |
| parent | 069c01a5232e4c862cc44066eb15be9879ea178d (diff) | |
| download | bin-653c93e41633dde79450a18014a49247314a404a.zip bin-653c93e41633dde79450a18014a49247314a404a.tar.gz | |
easy_e17.sh check ewk_build_dir existence on clean
| -rwxr-xr-x | easy_e17.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/easy_e17.sh b/easy_e17.sh index 8e4bca3..70b4399 100755 --- a/easy_e17.sh +++ b/easy_e17.sh @@ -1044,7 +1044,7 @@ function compile () if [ $package_clean -ge 1 ]; then [ -e config.cache ] && rm config.cache if [ "$name" == "ewebkit" ]; then - if [ $package_clean -eq 1 ]; then + if [ $package_clean -eq 1 -a -e "$ewk_build_dir" ]; then cd $ewk_build_dir run_command "$name" "$path" "clean" "clean : " "$mode" "$make -j $threads clean" if [ ! -e "$status_path/$name.noerrors" ]; then |