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