Ben Elliston wrote:
On Thu, Dec 20, 2018 at 01:05:45AM -0600, Jacob Bachmeyer wrote:
This patch is the long-promised dejagnu(1) multi-launcher, revised
to include also its first command "dejagnu help" in this patch to
ensure that it works properly.
Thanks!
Unfortunately, the testsuite is failing:
Spawning "/home/bje/source/dejagnu/dejagnu --DGTimpl sh" ...
Expecting to match {} ...
Exit code 2; output {/home/bje/source/dejagnu/dejagnu: 146: shift: can't shift
that many}
FAIL: have shell, always
[...]
It works here... looks like a portability problem... what shell is your
/bin/sh?
Try this patch:
----
diff --git a/dejagnu b/dejagnu
index 4b174db..06efcc7 100755
--- a/dejagnu
+++ b/dejagnu
@@ -136,7 +136,7 @@ fi
command="$(basename "$0" | sed -e 's/^.*-\?dejagnu-\?//')"
commext=
-while true
+while expr $# \> 0 > /dev/null
do
if test -z "${command}" ; then
if expr "$1" : - > /dev/null ; then
----
A close reading of POXIX
(<URL:http://pubs.opengroup.org/onlinepubs/009695399/utilities/shift.html>)
indicates that shift is not permitted if the argument list is empty.
-- Jacob
_______________________________________________
DejaGnu mailing list
DejaGnu@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu
