Index: Makefile
===================================================================
--- Makefile	(revision eb221e54c89be67027a646c54011ff67bf6d1eaa)
+++ Makefile	(revision 977fcea2d1f12932431b92aaae48a7368a2db4d6)
@@ -92,2 +92,4 @@
 	$(MAKE) -C uspace clean
 	$(MAKE) -C boot clean
+
+-include Makefile.local