diff -r fedd0f957c31 -r a6d8181a8127 make/configure.vm --- 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