diff -r 1eabc1123567 -r 6b07e7ed8f46 configure
--- a/configure	Mon Apr 20 22:00:43 2026 +0200
+++ b/configure	Mon Apr 20 22:01:38 2026 +0200
@@ -85,7 +85,10 @@
 printhelp()
 {
     echo "Usage: $0 [OPTIONS]..."
-    echo 'Configuration:'
+    if [ $has_overridable_config_vars__ -eq 1 ] ; then
+        echo
+        echo "Configuration:"
+    fi
 if true \
       ; then
     :
@@ -114,42 +117,43 @@
 touch "$TEMP_DIR/features"
 
 # config variables
+has_overridable_config_vars__=0
 if true \
       ; then
     :
-    if test -z "$SRCDIR__initialized__"; then
+    if [ -z "$SRCDIR__initialized__" ] ; then
         SRCDIR__initialized__=1
         SRCDIR=`pwd`
     fi
-    if test -z "$BUILDDIR__initialized__"; then
+    if [ -z "$BUILDDIR__initialized__" ] ; then
         BUILDDIR__initialized__=1
         BUILDDIR='${SRCDIR}/build'
     fi
-    if test -z "$LIB_EXT__initialized__"; then
+    if [ -z "$LIB_EXT__initialized__" ] ; then
         LIB_EXT__initialized__=1
         LIB_EXT='.a'
     fi
-    if test -z "$MKDIR__initialized__"; then
+    if [ -z "$MKDIR__initialized__" ] ; then
         MKDIR__initialized__=1
         MKDIR='mkdir'
     fi
-    if test -z "$MKDIRFLAGS__initialized__"; then
+    if [ -z "$MKDIRFLAGS__initialized__" ] ; then
         MKDIRFLAGS__initialized__=1
         MKDIRFLAGS='-p'
     fi
-    if test -z "$RM__initialized__"; then
+    if [ -z "$RM__initialized__" ] ; then
         RM__initialized__=1
         RM='rm'
     fi
-    if test -z "$RMFLAGS__initialized__"; then
+    if [ -z "$RMFLAGS__initialized__" ] ; then
         RMFLAGS__initialized__=1
         RMFLAGS='-f -R'
     fi
-    if test -z "$AR__initialized__"; then
+    if [ -z "$AR__initialized__" ] ; then
         AR__initialized__=1
         AR='ar'
     fi
-    if test -z "$ARFLAGS__initialized__"; then
+    if [ -z "$ARFLAGS__initialized__" ] ; then
         ARFLAGS__initialized__=1
         ARFLAGS='-r'
     fi
@@ -267,25 +271,22 @@
 
 
 # generate vars.mk
-cat > "$TEMP_DIR/vars.mk" << __EOF__
-SRCDIR=$SRCDIR
-BUILDDIR=$BUILDDIR
-LIB_EXT=$LIB_EXT
-MKDIR=$MKDIR
-MKDIRFLAGS=$MKDIRFLAGS
-RM=$RM
-RMFLAGS=$RMFLAGS
-AR=$AR
-ARFLAGS=$ARFLAGS
-__EOF__
-
+echo '# configuration' > "$TEMP_DIR/vars.mk"
+echo "SRCDIR=$SRCDIR" >> "$TEMP_DIR/vars.mk"
+echo "BUILDDIR=$BUILDDIR" >> "$TEMP_DIR/vars.mk"
+echo "LIB_EXT=$LIB_EXT" >> "$TEMP_DIR/vars.mk"
+echo "MKDIR=$MKDIR" >> "$TEMP_DIR/vars.mk"
+echo "MKDIRFLAGS=$MKDIRFLAGS" >> "$TEMP_DIR/vars.mk"
+echo "RM=$RM" >> "$TEMP_DIR/vars.mk"
+echo "RMFLAGS=$RMFLAGS" >> "$TEMP_DIR/vars.mk"
+echo "AR=$AR" >> "$TEMP_DIR/vars.mk"
+echo "ARFLAGS=$ARFLAGS" >> "$TEMP_DIR/vars.mk"
+echo >> "$TEMP_DIR/vars.mk"
 
 #
 # DEPENDENCIES
 #
 
-
-
 # create buffer for make variables required by dependencies
 echo > "$TEMP_DIR/make.mk"
 
@@ -438,8 +439,10 @@
 if [ -n "$TOOLCHAIN_CSTD" ]; then
     echo "  default C std:  $TOOLCHAIN_CSTD"
 fi
-echo
-echo "Config:"
+if [ $has_overridable_config_vars__ -eq 1 ]; then
+    echo
+    echo "Config:"
+fi
 echo
 
 # generate the config.mk file