Index: Makefile
===================================================================
--- Makefile	(revision 4e9aaf55e64f360630cc088883c7493ac073deef)
+++ Makefile	(revision 1fe9bf6073f0427ca8e1539c827be3b6795d1503)
@@ -79,2 +79,4 @@
 	$(MAKE) -C uspace clean
 	$(MAKE) -C boot clean
+
+-include Makefile.local