summaryrefslogtreecommitdiffhomepage
path: root/configure
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2021-05-23 14:43:19 +0000
committermidipix <writeonce@midipix.org>2021-05-23 14:48:23 +0000
commit0e3d4b4ff859c058083d4e5ef2960c1cd7a48b20 (patch)
tree8156611371cf33f5a554ae15870bce63ef5b841f /configure
parent2643916fb6e06df0aa8d179d1b9c408d7295b5b4 (diff)
downloadptycon-0e3d4b4ff859c058083d4e5ef2960c1cd7a48b20.tar.bz2
ptycon-0e3d4b4ff859c058083d4e5ef2960c1cd7a48b20.tar.xz
build system: reserve the file-name Makefile.common for bootstrapping projects.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure7
1 files changed, 7 insertions, 0 deletions
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