Provide the new "-config CONFIG" option to the test/releasetest.tcl script,

which allows one to run a single test configuration selected by name.

FossilOrigin-Name: d479e32be205f6cd0474f002282eae6eec613f36

test/releasetest.tcl

@@ -13,6 +13,7 @@ optional) are:
     -makefile PATH-TO-MAKEFILE           (default "releasetest.mk")
     -platform PLATFORM                   (see below)
     -quick    BOOLEAN                    (default "0")
+    -config   CONFIGNAME                 (Run only CONFIGNAME)
 
 The default value for -makefile is "./releasetest.mk".
 
@@ -292,6 +293,7 @@ proc run_test_suite {name testtarget config} {
 proc process_options {argv} {
   set ::MAKEFILE releasetest.mk                       ;# Default value
   set ::QUICK    0                                    ;# Default value
+  set config {}
   set platform $::tcl_platform(os)-$::tcl_platform(machine)
 
   for {set i 0} {$i < [llength $argv]} {incr i} {
@@ -310,6 +312,11 @@ proc process_options {argv} {
         incr i
         set ::QUICK [lindex $argv $i]
       }
+
+      -config {
+        incr i
+        set config [lindex $argv $i]
+      }
   
       default {
         puts stderr ""
@@ -333,7 +340,11 @@ proc process_options {argv} {
     exit
   }
 
-  set ::CONFIGLIST $::Platforms($platform)
+  if {$config!=""} {
+    set ::CONFIGLIST $config
+  } else {
+    set ::CONFIGLIST $::Platforms($platform)
+  }
   puts "Running the following configurations for $platform:"
   puts "    [string trim $::CONFIGLIST]"
 }