Index: Makefile
===================================================================
--- Makefile	(revision 2431f30122eccfaa411fde382b9414078c527ff4)
+++ Makefile	(revision 7fc982031d70068d587677485b8f88bda152d332)
@@ -107,2 +107,4 @@
 	$(MAKE) -C uspace clean
 	$(MAKE) -C boot clean
+
+-include Makefile.local