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/chrome | |
| parent | f30113e8b3fa07d564cc2f564726f69227b3a9bd (diff) | |
Add targets for the extensions in the top dir
Diffstat (limited to 'src/js/chrome')
| -rw-r--r-- | src/js/chrome/build.mk | 3 |
1 files changed, 3 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 |