On July 28, 2022 9:06:51 PM GMT+02:00, Chris Narkiewicz <he...@ezaquarii.com>
wrote:
>On Thu, Jul 28, 2022 at 03:08:19PM +0200, Alexander Hall wrote:
>> Just leaving out the "args ..." from the config should accomplish that.
>
>It would allow the user to set any wscons parameters, which is not optimal.
>
>But either += -= operators or custom shell script can do the job as well.
Yup, I was referring to using the (not quoted) lines I wrote a bit up in a
custom script.
/Alexander
>
>Best regards,
>Chris Narkiewicz
