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: bill-auger
Subject: Re: [PATCH] Fix DEVEL=1 build
Date: Wed, 11 Oct 2023 12:43:05 -0400 
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

ive made some patches to address this problem
reply via email to
[Prev in Thread] Current Thread [Next in Thread]