changeset 249:17f3647752ba

configure.sh: emit the config name into the generated Makefile
author Mychaela Falconia <falcon@freecalypso.org>
date Thu, 03 Aug 2017 04:40:00 +0000 (2017-08-03)
parents 35b17d54773d
children 9432dd63626b
files configure.sh
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/configure.sh	Thu Aug 03 04:24:06 2017 +0000
+++ b/configure.sh	Thu Aug 03 04:40:00 2017 +0000
@@ -177,7 +177,9 @@
 
 # generate the top level Makefile!
 
-helpers/makeline def SUBDIR $SUBDIR > $BUILD_DIR/Makefile
+helpers/makeline def CONFIG_NAME $CONFIG > $BUILD_DIR/Makefile
+echo >> $BUILD_DIR/Makefile
+helpers/makeline def SUBDIR $SUBDIR >> $BUILD_DIR/Makefile
 echo >> $BUILD_DIR/Makefile
 helpers/makeline def LIBS $LIBS >> $BUILD_DIR/Makefile
 echo >> $BUILD_DIR/Makefile