Index: Makefile
===================================================================
--- Makefile	(revision 2431f30122eccfaa411fde382b9414078c527ff4)
+++ Makefile	(revision 18b5228bd09f46c401f0e987d6eb09860a6b0688)
@@ -107,2 +107,4 @@
 	$(MAKE) -C uspace clean
 	$(MAKE) -C boot clean
+
+-include Makefile.local