diff options
-rw-r--r-- | ChangeLog | 7 | ||||
-rwxr-xr-x | dejagnu | 8 |
2 files changed, 9 insertions, 6 deletions
@@ -1,3 +1,10 @@ +2021-04-14 Jacob Bachmeyer <jcb@gnu.org> + + PR47382 + + * dejagnu: Replace use of "expr :" with shell "case" pattern + match to avoid limitations of Solaris 10 expr(1). + 2021-04-08 Jacob Bachmeyer <jcb@gnu.org> * configure: Regenerate. @@ -152,9 +152,7 @@ command=`basename "$0" | sed -e 's/^.*-\?dejagnu-\?//'` while expr $# \> 0 > /dev/null do if test -z "${command}" ; then - if expr "$1" : - > /dev/null ; then - break - fi + case $1 in -*) break;; esac command="$1" shift fi @@ -167,9 +165,7 @@ do break 2 fi done - if expr "$1" : - > /dev/null ; then - break - fi + case $1 in -*) break;; esac if test -n "$1" ; then command="${command}-$1" shift |