Title: [267567] trunk/Tools
- Revision
- 267567
- Author
- [email protected]
- Date
- 2020-09-25 07:17:53 -0700 (Fri, 25 Sep 2020)
Log Message
[webkitperl] Check for custom Flatpak user dirs in webkitdirs.pm
https://bugs.webkit.org/show_bug.cgi?id=216959
Reviewed by Philippe Normand.
* Scripts/webkitdirs.pm: Check for WEBKIT_FLATPAK_USER_DIR
(getUserFlatpakPath):
Modified Paths
Diff
Modified: trunk/Tools/ChangeLog (267566 => 267567)
--- trunk/Tools/ChangeLog 2020-09-25 14:05:35 UTC (rev 267566)
+++ trunk/Tools/ChangeLog 2020-09-25 14:17:53 UTC (rev 267567)
@@ -1,3 +1,13 @@
+2020-09-25 Lauro Moura <[email protected]>
+
+ [webkitperl] Check for custom Flatpak user dirs in webkitdirs.pm
+ https://bugs.webkit.org/show_bug.cgi?id=216959
+
+ Reviewed by Philippe Normand.
+
+ * Scripts/webkitdirs.pm: Check for WEBKIT_FLATPAK_USER_DIR
+ (getUserFlatpakPath):
+
2020-09-25 Youenn Fablet <[email protected]>
Introduce WKWebViewConfiguration mediaCaptureEnabled
Modified: trunk/Tools/Scripts/webkitdirs.pm (267566 => 267567)
--- trunk/Tools/Scripts/webkitdirs.pm 2020-09-25 14:05:35 UTC (rev 267566)
+++ trunk/Tools/Scripts/webkitdirs.pm 2020-09-25 14:17:53 UTC (rev 267567)
@@ -2163,6 +2163,10 @@
sub getUserFlatpakPath()
{
+ if (defined($ENV{'WEBKIT_FLATPAK_USER_DIR'})) {
+ return $ENV{'WEBKIT_FLATPAK_USER_DIR'};
+ }
+
my $productDir = baseProductDir();
if (isGit() && isGitBranchBuild() && gitBranch()) {
my $branch = gitBranch();
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
