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