diff options
Diffstat (limited to 'Tools/Scripts/build-webkit')
| -rwxr-xr-x | Tools/Scripts/build-webkit | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Tools/Scripts/build-webkit b/Tools/Scripts/build-webkit index c37bce7d4..a81922a11 100755 --- a/Tools/Scripts/build-webkit +++ b/Tools/Scripts/build-webkit @@ -319,6 +319,11 @@ if (isEfl()) { $makeArgs .= ($makeArgs ? " " : "") . "-j" . numberOfCPUs() if $makeArgs !~ /-j\s*\d+/; $cmakeArgs .= ($cmakeArgs ? " " : "") . "-DENABLE_WEBKIT=ON"; $cmakeArgs .= " -DENABLE_WEBKIT2=ON" if !$noWebKit2; + + # We remove CMakeCache to avoid the bots to reuse cached flags when + # we enable new features. This forces a reconfiguration. + removeCMakeCache(); + buildCMakeProjectOrExit($clean, "Efl", $prefixPath, $makeArgs, (cmakeBasedPortArguments(), cMakeArgsFromFeatures()), $cmakeArgs); } |
