2 files changed, 7 insertions, 0 deletions
diff --git a/build/Makefile.common b/build/Makefile.common
index f6bc147..73a4880 100644
--- a/build/Makefile.common
+++ b/build/Makefile.common
@@ -24,6 +24,9 @@ TARGET_TESTS :=
 # Source files
 SOURCES :=
 
+# Include configuration Makefile fragment
+include build/Makefile.config
+
 # Include Makefile fragments in subdirectories
 
 define do_include
diff --git a/build/Makefile.config b/build/Makefile.config
new file mode 100644
index 0000000..1d27350
--- /dev/null
+++ b/build/Makefile.config
@@ -0,0 +1,4 @@
+# Configuration Makefile fragment
+
+# Cater for local configuration changes
+-include build/Makefile.config.override