Index: Makefile
===================================================================
--- Makefile	(revision 406d5145faf1500950e7b901c8f5588480931860)
+++ Makefile	(revision b0d309f4768e78374754c1e98aa8d1a4a1eadd6c)
@@ -106,2 +106,4 @@
 	$(MAKE) -C uspace clean
 	$(MAKE) -C boot clean
+
+-include Makefile.local