From 0d8e2a28c83e5c1cb06665a7e092d38d7313a87a Mon Sep 17 00:00:00 2001
From: midipix <writeonce@midipix.org>
Date: May 23 2021 14:48:24 +0000
Subject: build system: reserve the file-name Makefile.common for bootstrapping projects.


---

diff --git a/configure b/configure
index a235b5e..8424799 100755
--- a/configure
+++ b/configure
@@ -317,6 +317,13 @@ verify_build_directory()
 		fi
 	fi
 
+	if [ -f "$mb_pwd/Makefile.common" ]; then
+		error_msg
+		error_msg "$mb_package: the file-name Makefile.common is reserved for bootstrapping projects."
+		error_msg "$mb_package: please remove or rename the file manually and then re-run configure."
+		exit 1
+	fi
+
 	rm -f Makefile Makefile.host Makefile.tmp Makefile.failed $mb_makefile
 
 	output_step_epilog