[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."
Re: PATCH: add dejagnu(1) multi-launcher, Ben Elliston, 2018/12/19