diff options
| author | Jérémy Zurcher <jeremy@asynk.ch> | 2012-02-28 08:14:29 +0100 |
|---|---|---|
| committer | Jérémy Zurcher <jeremy@asynk.ch> | 2012-02-28 08:14:29 +0100 |
| commit | e7f298184eadd3a8e253e82fd4ae06d025a03acc (patch) | |
| tree | dedae0e7a5b164342378a465d6e115f42729a7f7 | |
| parent | 2024584f2713a34b095113b4f34516430a0e68bb (diff) | |
| download | bin-e7f298184eadd3a8e253e82fd4ae06d025a03acc.zip bin-e7f298184eadd3a8e253e82fd4ae06d025a03acc.tar.gz | |
easy_e17.sh: ewebkit build process manages make_only flag
| -rwxr-xr-x | easy_e17.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/easy_e17.sh b/easy_e17.sh index b3995be..116fabe 100755 --- a/easy_e17.sh +++ b/easy_e17.sh @@ -1097,8 +1097,10 @@ function compile () fi done if [ "$name" == "ewebkit" ]; then - run_command "$name" "$path" "cmake" "cmake : " "$mode" "$ewk_build_cmd" - if [ ! -e "$status_path/$name.noerrors" ] ; then return ; fi + if [ $package_make_only != 1 ] || [ $package_clean -gt 1 ]; then + run_command "$name" "$path" "cmake" "cmake : " "$mode" "$ewk_build_cmd" + if [ ! -e "$status_path/$name.noerrors" ] ; then return ; fi + fi cd "${ewk_build_dir}" run_command "$name" "NOT USED" "install" "install: " "rootonly" "$make install" if [ ! -e "$status_path/$name.noerrors" ] ; then return ; fi |