diff -r a6d8181a8127 -r 21274e5950af make/configure.vm
--- a/make/configure.vm	Tue Aug 13 22:03:19 2019 +0200
+++ b/make/configure.vm	Tue Aug 13 22:14:32 2019 +0200
@@ -370,12 +370,12 @@
         #if( $flags.exec )
         $flags.value > /dev/null
         if [ $? -eq 0 ]; then
-            $flags.varName="$flags.varName `$flags.value`"
+            $flags.varName="$$flags.varName `$flags.value`"
         else
             break
         fi
         #else
-        $flags.varName="$flags.varName $flags.value"    
+        $flags.varName="$$flags.varName $flags.value"    
         #end
         #end
         #foreach( $test in $sub.tests )
@@ -444,13 +444,13 @@
         #if( $flags.exec )
         $flags.value > /dev/null
         if [ $? -ne 0 ]; then
-            $flags.varName="$flags.varName `$flags.value`"
+            $flags.varName="$$flags.varName `$flags.value`"
         else
             ERROR=1
             break
         fi
         #else
-        $flags.varName="$flags.varName $flags.value"    
+        $flags.varName="$$flags.varName $flags.value"    
         #end
         #end
 		#if ( $dependency.make.length() > 0 )