[Top][All Lists]

[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

ive made some patches to address this problem

reply via email to

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