# HG changeset patch # User Mychaela Falconia # Date 1501735200 0 # Node ID 17f3647752bac8bfde19700efade70f798ef1d76 # Parent 35b17d54773d5b4c53f6b97d8b234198e5cb48b8 configure.sh: emit the config name into the generated Makefile diff -r 35b17d54773d -r 17f3647752ba configure.sh --- 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