Index: Makefile
===================================================================
--- Makefile	(revision 64af8f153041aa124c6aa088e6185fbea0e82a83)
+++ Makefile	(revision 3ad309dc068442c3e1d6f8b673c6a491fa68d3b6)
@@ -32,8 +32,10 @@
 CSCOPE = cscope
 CONFIG = tools/config.py
+SANITY = tools/sanity.py
 
 .PHONY: all config config_default distclean clean cscope precheck
 
 all: Makefile.config config.h config.defs
+	$(SANITY)
 	$(MAKE) -C kernel PRECHECK=$(PRECHECK)
 	$(MAKE) -C uspace PRECHECK=$(PRECHECK)