diff configure.sh @ 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
parents 619febca2803
children 13bcc2ed7e44
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