--- a/src/main/resources/make/configure.vm Mon Dec 01 20:31:54 2025 +0100 +++ b/src/main/resources/make/configure.vm Mon Dec 01 20:32:12 2025 +0100 @@ -86,7 +86,10 @@ printhelp() { echo "Usage: $0 [OPTIONS]..." - echo 'Configuration:' + if [ $has_config_vars__ -eq 1 ] ; then + echo + echo "Configuration:" + fi #foreach( $cfg in $config ) if true \ #if( $cfg.platform ) @@ -99,7 +102,7 @@ : #foreach( $var in $cfg.vars ) #if( $var.overridable ) - if test -z "${D}${var.varName}__described__"; then + if [ -z "${D}${var.varName}__described__" ] ; then ${var.varName}__described__=1 cat << '__EOF__' ${var.helpText} @@ -147,6 +150,7 @@ touch "$TEMP_DIR/features" # config variables +has_config_vars__=0 #foreach( $cfg in $config ) if true \ #if( $cfg.platform ) @@ -158,7 +162,8 @@ ; then : #foreach( $var in $cfg.vars ) - if test -z "${D}${var.varName}__initialized__"; then + if [ -z "${D}${var.varName}__initialized__" ] ; then + has_config_vars__=1 ${var.varName}__initialized__=1 #if( $var.exec ) ${var.varName}=`${var.value}` @@ -715,14 +720,18 @@ if [ -n "$TOOLCHAIN_CSTD" ]; then echo " default C std: $TOOLCHAIN_CSTD" fi -echo -echo "Config:" +if [ ${D}has_config_vars__ -eq 1 ]; then + echo + echo "Config:" #foreach( $var in $vars ) #if ($var.overridable) - printf ' %-16s' '${var.arg}:' - echo "${D}${var.varName}" + if [ -n "${D}${var.varName}__initialized__" ]; then + printf ' %-16s' '${var.arg}:' + echo "${D}${var.varName}" + fi #end #end +fi #if ( $options.size() > 0 ) echo echo "Options:"