diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-07 16:48:12 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-07 16:48:17 -0700 |
| commit | 8967b310b2fa27fc675351583af9e5d800df1f37 (patch) | |
| tree | a9cea8dd5456543da355f843eeb2e7ffea89fa3a /Makefile | |
| parent | 8b5d3c6b75744cf5938f253d20f367999e92b1a7 (diff) | |
Split extension packaging into a separate target
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -24,6 +24,9 @@ .PHONY: all all: +.PHONY: package +package: + .PHONY: unpack unpack: |