Index: Makefile
===================================================================
--- Makefile	(revision 83fd0d7575baf6521c4b443603485f0c5b718592)
+++ Makefile	(revision 37b1651de7d2b2fb0e5e2ee69dd1cfbdc338bfe1)
@@ -106,2 +106,4 @@
 	$(MAKE) -C uspace clean
 	$(MAKE) -C boot clean
+
+-include Makefile.local