# HG changeset patch # User Olaf Wintermann # Date 1736682311 -3600 # Node ID 59b14b75f12b4f6403c4a20f6b05909437f75e91 # Parent e0478362c2cf6f7208118e46bc618ef199bddd83 add configure command line to config.mk, fixes #563 diff -r e0478362c2cf -r 59b14b75f12b src/main/resources/make/configure.vm --- a/src/main/resources/make/configure.vm Sun Jan 12 12:40:20 2025 +0100 +++ b/src/main/resources/make/configure.vm Sun Jan 12 12:45:11 2025 +0100 @@ -713,12 +713,15 @@ echo # generate the config.mk file +pwd=`pwd` cat > "$TEMP_DIR/config.mk" << __EOF__ # -# config.mk generated by configure +# config.mk generated by: +# pwd: $pwd +# $0 $@ # __EOF__ write_toolchain_defaults "$TEMP_DIR/toolchain.mk" -cat "$TEMP_DIR/vars.mk" "$TEMP_DIR/toolchain.mk" "$TEMP_DIR/flags.mk" "$TEMP_DIR/make.mk" > config.mk +cat "$TEMP_DIR/config.mk" "$TEMP_DIR/vars.mk" "$TEMP_DIR/toolchain.mk" "$TEMP_DIR/flags.mk" "$TEMP_DIR/make.mk" > config.mk rm -Rf "$TEMP_DIR" diff -r e0478362c2cf -r 59b14b75f12b test/configure --- a/test/configure Sun Jan 12 12:40:20 2025 +0100 +++ b/test/configure Sun Jan 12 12:45:11 2025 +0100 @@ -642,12 +642,15 @@ echo # generate the config.mk file +pwd=`pwd` cat > "$TEMP_DIR/config.mk" << __EOF__ # -# config.mk generated by configure +# config.mk generated by: +# pwd: $pwd +# cmd: $0 $@ # __EOF__ write_toolchain_defaults "$TEMP_DIR/toolchain.mk" -cat "$TEMP_DIR/vars.mk" "$TEMP_DIR/toolchain.mk" "$TEMP_DIR/flags.mk" "$TEMP_DIR/make.mk" > config.mk +cat "$TEMP_DIR/config.mk" "$TEMP_DIR/vars.mk" "$TEMP_DIR/toolchain.mk" "$TEMP_DIR/flags.mk" "$TEMP_DIR/make.mk" > config.mk rm -Rf "$TEMP_DIR" diff -r e0478362c2cf -r 59b14b75f12b test/configure2 --- a/test/configure2 Sun Jan 12 12:40:20 2025 +0100 +++ b/test/configure2 Sun Jan 12 12:45:11 2025 +0100 @@ -859,12 +859,15 @@ echo # generate the config.mk file +pwd=`pwd` cat > "$TEMP_DIR/config.mk" << __EOF__ # -# config.mk generated by configure +# config.mk generated by: +# pwd: $pwd +# $0 $@ # __EOF__ write_toolchain_defaults "$TEMP_DIR/toolchain.mk" -cat "$TEMP_DIR/vars.mk" "$TEMP_DIR/toolchain.mk" "$TEMP_DIR/flags.mk" "$TEMP_DIR/make.mk" > config.mk +cat "$TEMP_DIR/config.mk" "$TEMP_DIR/vars.mk" "$TEMP_DIR/toolchain.mk" "$TEMP_DIR/flags.mk" "$TEMP_DIR/make.mk" > config.mk rm -Rf "$TEMP_DIR" diff -r e0478362c2cf -r 59b14b75f12b test/make/configure.vm --- a/test/make/configure.vm Sun Jan 12 12:40:20 2025 +0100 +++ b/test/make/configure.vm Sun Jan 12 12:45:11 2025 +0100 @@ -713,12 +713,15 @@ echo # generate the config.mk file +pwd=`pwd` cat > "$TEMP_DIR/config.mk" << __EOF__ # -# config.mk generated by configure +# config.mk generated by: +# pwd: $pwd +# $0 $@ # __EOF__ write_toolchain_defaults "$TEMP_DIR/toolchain.mk" -cat "$TEMP_DIR/vars.mk" "$TEMP_DIR/toolchain.mk" "$TEMP_DIR/flags.mk" "$TEMP_DIR/make.mk" > config.mk +cat "$TEMP_DIR/config.mk" "$TEMP_DIR/vars.mk" "$TEMP_DIR/toolchain.mk" "$TEMP_DIR/flags.mk" "$TEMP_DIR/make.mk" > config.mk rm -Rf "$TEMP_DIR"