diff: make/configure.vm
make/configure.vm
- changeset 209
- a6d8181a8127
- parent 208
- fedd0f957c31
- child 210
- 21274e5950af
--- a/make/configure.vm Tue Aug 13 21:55:10 2019 +0200 +++ b/make/configure.vm Tue Aug 13 22:03:19 2019 +0200 @@ -317,7 +317,7 @@ # Toolchain detection # this will insert make vars to config.mk -source make/toolchain.sh +. make/toolchain.sh # add user specified flags to config.mk echo >> $TEMP_DIR/config.mk
