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@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])