From 8b5d3c6b75744cf5938f253d20f367999e92b1a7 Mon Sep 17 00:00:00 2001
From: Trevor Elliott <trevor@galois.com>
Date: Fri, 7 Jun 2013 16:42:11 -0700
Subject: Remove the addon-sdk from the repo, and download it on demand

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index e5a71f7..6e84922 100644
--- a/Makefile
+++ b/Makefile
@@ -30,6 +30,10 @@ unpack:
 .PHONY: clean
 clean::
 
+.PHONY: distclean
+distclean:: clean
+
+
 # Utilities ####################################################################
 
 topdir := $(CURDIR)
@@ -59,6 +63,8 @@ clean::
 
 # Subdirs ######################################################################
 
+$(eval $(call subdir,tools))
+
 $(eval $(call subdir,src/js/fiveui))
 $(eval $(call subdir,src/js/chrome))
 $(eval $(call subdir,src/js/firefox))
-- 
cgit v1.2.3