From 8967b310b2fa27fc675351583af9e5d800df1f37 Mon Sep 17 00:00:00 2001
From: Trevor Elliott <trevor@galois.com>
Date: Fri, 7 Jun 2013 16:48:12 -0700
Subject: Split extension packaging into a separate target

---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 6e84922..19778d3 100644
--- a/Makefile
+++ b/Makefile
@@ -24,6 +24,9 @@
 .PHONY: all
 all:
 
+.PHONY: package
+package:
+
 .PHONY: unpack
 unpack:
 
-- 
cgit v1.2.3