diff -r d4363f69fd97 -r 686991ae6e2f test/make/toolchain.sh
--- a/test/make/toolchain.sh	Sat Aug 03 11:20:29 2019 +0200
+++ b/test/make/toolchain.sh	Sat Aug 03 13:46:43 2019 +0200
@@ -59,7 +59,10 @@
 if [ -z TOOLCHAIN_NAME ]; then
     TOOLCHAIN_DETECTION_ERROR="error"
 else
-    echo "CC = ${TOOLCHAIN_CC}" >> $TEMP_DIR/config.mk
+    cat >> $TEMP_DIR/config.mk << __EOF__
+# toolchain
+__EOF__
+	echo "CC = ${TOOLCHAIN_CC}" >> $TEMP_DIR/config.mk
     echo "LD = ${TOOLCHAIN_LD}" >> $TEMP_DIR/config.mk
     
     if [ -e "make/${TOOLCHAIN_NAME}.mk" ]; then