Index: Makefile
===================================================================
--- Makefile	(revision 3ad309dc068442c3e1d6f8b673c6a491fa68d3b6)
+++ Makefile	(revision 3c80f2ba924af168dfc3e3a650b8f57db0fe8c00)
@@ -32,10 +32,9 @@
 CSCOPE = cscope
 CONFIG = tools/config.py
-SANITY = tools/sanity.py
+AUTOTOOL = tools/autotool.py
 
-.PHONY: all config config_default distclean clean cscope precheck
+.PHONY: all precheck cscope autotool config_default config distclean clean
 
-all: Makefile.config config.h config.defs
-	$(SANITY)
+all: Makefile.common Makefile.config config.h config.defs
 	$(MAKE) -C kernel PRECHECK=$(PRECHECK)
 	$(MAKE) -C uspace PRECHECK=$(PRECHECK)
@@ -47,4 +46,9 @@
 cscope:
 	find kernel boot uspace -regex '^.*\.[chsS]$$' | xargs $(CSCOPE) -b -k -u -f$(CSCOPE).out
+
+Makefile.common: autotool
+
+autotool: Makefile.config
+	$(AUTOTOOL)
 
 Makefile.config: config_default
@@ -61,5 +65,5 @@
 
 distclean: clean
-	rm -f $(CSCOPE).out Makefile.config config.h config.defs tools/*.pyc tools/checkers/*.pyc
+	rm -f $(CSCOPE).out Makefile.common Makefile.config config.h config.defs tools/*.pyc tools/checkers/*.pyc
 
 clean: