Remove the addon-sdk from the repo, and download it on demand

1 files changed, 6 insertions, 0 deletions

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))