aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Trevor Elliott <trevor@galois.com>2013-06-10 10:59:29 -0700
committerGravatar Trevor Elliott <trevor@galois.com>2013-06-10 10:59:29 -0700
commitd53a4d57c05104e764aff459d58713ddf2f4486e (patch)
treef944d635057e489b62924571c56b8a05e16c6f33 /src
parentf30113e8b3fa07d564cc2f564726f69227b3a9bd (diff)
Add targets for the extensions in the top dir
Diffstat (limited to 'src')
-rw-r--r--src/js/chrome/build.mk3
-rw-r--r--src/js/firefox/build.mk3
2 files changed, 6 insertions, 0 deletions
diff --git a/src/js/chrome/build.mk b/src/js/chrome/build.mk
index 30c07f3..c09efdc 100644
--- a/src/js/chrome/build.mk
+++ b/src/js/chrome/build.mk
@@ -6,6 +6,9 @@ all: stage-chrome
package: $(build-dir)/fiveui.crx
+$(topdir)/fiveui.crx: $(build-dir)/fiveui.crx
+ $(call cmd,cp)
+
chrome-dir := $(path)
chrome-build := $(build-dir)/chrome
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)