diff options
author | Jacob Bachmeyer <jcb@gnu.org> | 2021-04-01 18:28:56 -0500 |
---|---|---|
committer | Jacob Bachmeyer <jcb@gnu.org> | 2021-04-01 18:28:56 -0500 |
commit | 40c351f14a4342d63dcca6a9c72ae81486a1f375 (patch) | |
tree | 106253675fdef3c10d7f9f43a9b7fa7b426554e7 | |
parent | c35660505e4ec0a79a1ca0e5ea88d6e78caa1778 (diff) | |
download | dejagnu-40c351f14a4342d63dcca6a9c72ae81486a1f375.zip dejagnu-40c351f14a4342d63dcca6a9c72ae81486a1f375.tar.gz dejagnu-40c351f14a4342d63dcca6a9c72ae81486a1f375.tar.bz2 |
Rework declaration of "Variants" list in dejagnu launcher
-rw-r--r-- | ChangeLog | 5 | ||||
-rwxr-xr-x | dejagnu | 3 |
2 files changed, 7 insertions, 1 deletions
@@ -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. @@ -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 |