Index: Makefile
===================================================================
--- Makefile	(revision e3c3172de8f6c4741dd8c769b65f646f797b7da8)
+++ Makefile	(revision dafab9e00db54e85bdc9fdbe5ca3cdf7a1a5c0ef)
@@ -83,2 +83,4 @@
 	$(MAKE) -C uspace clean
 	$(MAKE) -C boot clean
+
+-include Makefile.local