gnuzilla-dev
[Top][All Lists]
Advanced

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

Re: [PATCH] Fix DEVEL=1 build


From: Mark H Weaver
Subject: Re: [PATCH] Fix DEVEL=1 build
Date: Wed, 11 Oct 2023 13:46:45 -0400

bill-auger <bill-auger@peers.community> writes:

> On Thu, 05 Oct 2023 22:11:45 -0400 Mark wrote:
>> So, I'd prefer a fix along these lines: (untested)
>> +        (( DEVEL )) && [[ ! -f $file_to_append ]] && continue
>
> just to note, in DEVEL mode, we are under `set -x`; so these checks must be
> disjuncts

Perhaps I'm missing something obvious, but can you explain why they must
be disjuncts, and what this has to do with 'set -x'?

       Mark



reply via email to

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