diff options
Diffstat (limited to 'build/moz.build')
| -rw-r--r-- | build/moz.build | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/build/moz.build b/build/moz.build index a5f4144b0c..7bf9c501db 100644 --- a/build/moz.build +++ b/build/moz.build @@ -107,7 +107,10 @@ if CONFIG["MOZ_APP_BASENAME"]: ) FINAL_TARGET_FILES += ["!application.ini"] - if CONFIG["MOZ_WIDGET_TOOLKIT"] != "android" and CONFIG["MOZ_UPDATER"]: + if ( + CONFIG["MOZ_WIDGET_TOOLKIT"] not in ("android", "cocoa") + and CONFIG["MOZ_UPDATER"] + ): FINAL_TARGET_PP_FILES += ["update-settings.ini"] GeneratedFile( |