Ryan Carsten Schmidt Tue, 08 Apr 2025 19:24:44 -0700
On Apr 8, 2025, at 17:34, grey wrote: > > configure.args PREFIX=${prefix}
Use: configure.pre_args PREFIX=${prefix}