[debbugs-tracker] bug#33817: closed (dejagnu(1) fails to find commands specified with spaces and no arguments)

[GNU bug Tracking System]

Your message dated Fri, 21 Dec 2018 20:08:54 +1100 (AEDT)
with message-id <address@hidden>
and subject line 
has caused the debbugs.gnu.org bug report #33817,
regarding dejagnu(1) fails to find commands specified with spaces and no 
arguments
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
33817: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=33817
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> dejagnu(1) fails to find commands specified with spaces and no arguments
>
>
>
>
> Date: 
>
> Fri, 21 Dec 2018 00:06:23 -0600
>
>
>
>
> User-agent: 
>
> Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.8.1.22) Gecko/20090807 MultiZilla/1.8.3.4e SeaMonkey/1.1.17 Mnenhy/0.7.6.0
>
>
>
>
> The supplemental patch that fixed erroneous use of "shift" in dejagnu(1) 
> also introduced a bug.  (I knew there was a reason I had removed that 
> previously.)  The dejagnu(1) launcher is supposed to treat "multi-word 
> command" as equivalent to "multi-word-command", but at present will 
> (incorrectly) fail to find the command if the former form is used 
> without other arguments.  The testsuite misses this bug because (oops) 
> all of the command tests use verbose mode.
>
> I already have a patch to fix this; I am writing this because I want a 
> bug number to put in the testcase, and I think that this list is tied 
> into a debbugs instance now.  :-)
>
>
> -- Jacob
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
>
>
>
>
>
> Date: 
>
> Fri, 21 Dec 2018 20:08:54 +1100 (AEDT)
>
>
>
>
> Fixed in master.
>
>
> --- End Message ---