summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2018-12-13 07:58:29 -0500
committermidipix <writeonce@midipix.org>2018-12-13 11:24:03 -0500
commitc45ad1963d3e44644a6014cd0e518bed76dfb387 (patch)
treeab645adf7c4dc02d398d4d0a90174d5ef6a8f810 /configure
parent22d90b59b8c0fa8d9e67866dd6261111579e92a8 (diff)
downloadslibtool-c45ad1963d3e44644a6014cd0e518bed76dfb387.tar.bz2
slibtool-c45ad1963d3e44644a6014cd0e518bed76dfb387.tar.xz
build system: configure: cfgdefs.mk must always be written from scratch.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure18
1 files changed, 10 insertions, 8 deletions
diff --git a/configure b/configure
index a7f5808..acf3d1d 100755
--- a/configure
+++ b/configure
@@ -57,6 +57,16 @@ init_vars()
. "$mb_config" || exit 2
fi
+ # project-specific config definitions
+ if [ $mb_use_custom_cfgdefs = 'yes' ]; then
+ cat < /dev/null > cfgdefs.mk
+ fi
+
+ # user build-time overrides
+ if [ $mb_use_custom_usrdefs = 'yes' ]; then
+ touch usrdefs.mk
+ fi
+
# project
mb_nickname=$NICKNAME
mb_source_dir=$SOURCE_DIR
@@ -579,14 +589,6 @@ config_copy()
-e 's^@use_custom_usrdefs@^'"$mb_use_custom_usrdefs"'^g' \
$mb_project_dir/Makefile.in > $mb_pwd/Makefile.tmp || exit 2
- if [ $mb_use_custom_cfgdefs = 'yes' ]; then
- touch cfgdefs.mk
- fi
-
- if [ $mb_use_custom_usrdefs = 'yes' ]; then
- touch usrdefs.mk
- fi
-
if [ -z "$mb_cchost" ]; then
if [ "$mb_host" = 'native' ]; then
mb_cchost=`make -s -f $mb_pwd/Makefile.tmp cchost`