dejagnu
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: PATCH: add dejagnu(1) multi-launcher


From: Andreas Schwab
Subject: Re: PATCH: add dejagnu(1) multi-launcher
Date: Tue, 18 Dec 2018 10:39:04 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1.90 (gnu/linux)

On Dez 18 2018, Jacob Bachmeyer <address@hidden> wrote:

> +if expr "$verbose" \> 0 > /dev/null ; then

Why not test $verbose -gt 0?

Andreas.

-- 
Andreas Schwab, SUSE Labs, address@hidden
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE  1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."



reply via email to

[Prev in Thread] Current Thread [Next in Thread]