diff --git a/Makefile b/Makefile
index b2f1868cff..66c5111cae 100644
--- a/Makefile
+++ b/Makefile
@@ -100,3 +100,5 @@ check:
 endif
 
 .PHONY: $(TARGET) release local-release install clean test bench check clean-tags tags
+
+-include Makefile.override