summaryrefslogtreecommitdiff
path: root/src/xpi.mk
diff options
context:
space:
mode:
authorBenjamin Drung <bdrung@ubuntu.com>2009-10-06 02:38:08 +0200
committerBenjamin Drung <bdrung@ubuntu.com>2009-10-06 02:38:08 +0200
commit1989a55a6ec1198217a6018663bae4bf92696d98 (patch)
tree9cb31c6abaf7df944b8da58776777e90e61c23fd /src/xpi.mk
parentbb91d7f9bc1615b96234170d539d720e07b81461 (diff)
- Fail to build, if the extension manager ID could not be detected.
- update src/xpi.mk
Diffstat (limited to 'src/xpi.mk')
-rw-r--r--src/xpi.mk4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/xpi.mk b/src/xpi.mk
index b100acc..9385a03 100644
--- a/src/xpi.mk
+++ b/src/xpi.mk
@@ -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 $@