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