Title: [262068] trunk/Tools
- Revision
- 262068
- Author
- [email protected]
- Date
- 2020-05-22 11:57:37 -0700 (Fri, 22 May 2020)
Log Message
Add support for [no-]use-ccache option in build-jsc
https://bugs.webkit.org/show_bug.cgi?id=212259
Reviewed by Mark Lam.
* Scripts/build-jsc:
Modified Paths
Diff
Modified: trunk/Tools/ChangeLog (262067 => 262068)
--- trunk/Tools/ChangeLog 2020-05-22 18:55:41 UTC (rev 262067)
+++ trunk/Tools/ChangeLog 2020-05-22 18:57:37 UTC (rev 262068)
@@ -1,3 +1,12 @@
+2020-05-22 Paulo Matos <[email protected]>
+
+ Add support for [no-]use-ccache option in build-jsc
+ https://bugs.webkit.org/show_bug.cgi?id=212259
+
+ Reviewed by Mark Lam.
+
+ * Scripts/build-jsc:
+
2020-05-22 Alex Christensen <[email protected]>
Add SPI to unblock third party cookies from WKWebViews with ResourceLoadStatistics turned on
Modified: trunk/Tools/Scripts/build-jsc (262067 => 262068)
--- trunk/Tools/Scripts/build-jsc 2020-05-22 18:55:41 UTC (rev 262067)
+++ trunk/Tools/Scripts/build-jsc 2020-05-22 18:57:37 UTC (rev 262068)
@@ -61,6 +61,7 @@
my $buildDir = "";
my $copyLibraries = 1;
my $startTime = time();
+my $useCCache = -1;
my @features = getFeatureOptionList();
@@ -92,6 +93,8 @@
--makeargs=<arguments> Optional Makefile flags
--cmakeargs=<arguments> One or more optional CMake flags (e.g. --cmakeargs="-DFOO=bar -DCMAKE_PREFIX_PATH=/usr/local")
--build-dir=<path> Build out of tree in directory at <path>
+
+ --[no-]use-ccache Enable (or disable) CCache, if available
EOF
my %options = (
@@ -104,7 +107,8 @@
'copy-libraries!' => \$copyLibraries,
'makeargs=s' => \$makeArgs,
'cmakeargs=s' => \@cmakeArgs,
- 'build-dir=s' => \$buildDir
+ 'build-dir=s' => \$buildDir,
+ 'use-ccache!' => \$useCCache
);
foreach (@features) {
@@ -135,6 +139,12 @@
(system("python Tools/Scripts/update-webkit-wincairo-libs.py") == 0) or die;
}
+if ($useCCache == 1) {
+ $ENV{'WK_USE_CCACHE'} = "YES";
+} elsif ($useCCache == 0) {
+ $ENV{'WK_USE_CCACHE'} = "NO";
+}
+
checkRequiredSystemConfig();
setConfiguration();
chdirWebKit();
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
