diff options
-rw-r--r-- | debian/changelog | 4 | ||||
-rw-r--r-- | src/xpi.mk | 4 |
2 files changed, 7 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index b860bf2..f617c7a 100644 --- a/debian/changelog +++ b/debian/changelog @@ -6,8 +6,10 @@ mozilla-devscripts (0.17) UNRELEASED; urgency=low - only add stripped binary package name to xpi:Provides, if it equals the source package name - update src/xpi.mk + - Fail to build, if the extension manager ID could not be detected. + - update src/xpi.mk - -- Benjamin Drung <bdrung@ubuntu.com> Tue, 06 Oct 2009 02:25:50 +0200 + -- Benjamin Drung <bdrung@ubuntu.com> Tue, 06 Oct 2009 02:34:26 +0200 mozilla-devscripts (0.16) unstable; urgency=low @@ -249,6 +249,10 @@ autolinks-stamp: $(patsubst %,unzip-%-stamp,$(XPI_BASE_FILE)) $(foreach mozilla, $(if $(XPI_FILE),,@echo "xpi.mk: No xpi file found. Did you create one?"; \ echo "xpi.mk: Please check MOZ_XPI_BUILD_COMMAND and maybe MOZ_XPI_FILE!"; \ exit 2) + $(if $(XPI_EMID),,@echo "xpi.mk: Detecting the extension manager ID failed."; \ + echo "xpi.mk: This is either a bug in the install.rdf file or in mozilla-devscripts."; \ + echo "xpi.mk: Patch the install.rdf file or use MOZ_XPI_EMID as workaround."; \ + exit 3) $(foreach id,$(call XPI_TARGET_EMIDs,$(TEMPDIR)),dh_link -p$(MOZ_EXTENSION_PKG) /usr/$(lib_share_dir)/$(MOZ_EXTENSION_PKG) /usr/lib/mozilla/extensions/$(id)/$(call XPI_EMID,$(TEMPDIR));) touch $@ |