[tbb-commits] [tor-browser] 03/06: fixup! Bug 9173: Change the default Firefox profile directory to be relative.

[gitolite role]

This is an automated email from the git hooks/post-receive script.

pierov pushed a commit to branch tor-browser-102.3.0esr-12.0-2
in repository tor-browser.

commit 515f44ce268a2b15c8b6fd44bc64df8a8c849086
Author: Pier Angelo Vendrame <pierov at torproject.org>
AuthorDate: Fri Sep 30 11:42:38 2022 +0200

    fixup! Bug 9173: Change the default Firefox profile directory to be relative.
    
    The relative_profile function is called also when
    --with-relative-profile is not defined, and this made the Android build
    fail. We have to check if the value was actually supplied.
---
 moz.configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/moz.configure b/moz.configure
index be5b761805ae..d7073eba80b7 100755
--- a/moz.configure
+++ b/moz.configure
@@ -1035,7 +1035,7 @@ option(
 @depends("--with-relative-profile", target)
 @imports("json")
 def relative_profile(value, target):
-    if target.os == "Android":
+    if value and target.os == "Android":
         die("--with-relative-profile is not supported on Android")
     if value:
         return json.dumps(value[0])

-- 
To stop receiving notification emails like this one, please contact
the administrator of this repository.