diff options
| -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 |