Rework declaration of "Variants" list in dejagnu launcher

2 files changed, 7 insertions, 1 deletions

diff --git a/ChangeLog b/ChangeLog
index 19221ae..520a3d4 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -11,6 +11,11 @@
 	* runtest: Remove use of non-portable "if !" that causes problems
 	with /bin/sh on Solaris 10.
 
+	* dejagnu (Variants): Split the declaration of this read-only
+	variable into an assignment followed by marking it read-only,
+	instead of doing both in one statement.  The Solaris 10 /bin/sh
+	does not accept the combined form.
+
 2021-03-30  Jacob Bachmeyer  <jcb@gnu.org>
 
 	* configure: Regenerate.
diff --git a/dejagnu b/dejagnu
index 695c4e5..44c8962 100755
--- a/dejagnu
+++ b/dejagnu
@@ -53,7 +53,8 @@
 # ##end
 
 # list of extensions supported for commands in priority order
-readonly Variants="gawk awk tcl exp bash sh"
+Variants='gawk awk tcl exp bash sh'
+readonly Variants
 
 ## Recognize options