diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-10 10:59:29 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-10 10:59:29 -0700 |
| commit | d53a4d57c05104e764aff459d58713ddf2f4486e (patch) | |
| tree | f944d635057e489b62924571c56b8a05e16c6f33 /src/js/firefox | |
| parent | f30113e8b3fa07d564cc2f564726f69227b3a9bd (diff) | |
Add targets for the extensions in the top dir
Diffstat (limited to 'src/js/firefox')
| -rw-r--r-- | src/js/firefox/build.mk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/js/firefox/build.mk b/src/js/firefox/build.mk index 9f1caa8..4874590 100644 --- a/src/js/firefox/build.mk +++ b/src/js/firefox/build.mk @@ -5,6 +5,9 @@ all: stage-firefox package: $(build-dir)/firefox.xpi +$(topdir)/firefox.xpi: $(build-dir)/firefox.xpi + $(call cmd,cp) + firefox-dir := $(path) |