diff options
| author | Benjamin Drung <bdrung@ubuntu.com> | 2009-10-06 02:38:08 +0200 |
|---|---|---|
| committer | Benjamin Drung <bdrung@ubuntu.com> | 2009-10-06 02:38:08 +0200 |
| commit | 1989a55a6ec1198217a6018663bae4bf92696d98 (patch) | |
| tree | 9cb31c6abaf7df944b8da58776777e90e61c23fd /src | |
| parent | bb91d7f9bc1615b96234170d539d720e07b81461 (diff) | |
- Fail to build, if the extension manager ID could not be detected.
- update src/xpi.mk
Diffstat (limited to 'src')
| -rw-r--r-- | src/xpi.mk | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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 $@ |