On Mon, Nov 10, 2014 at 05:34:30PM +0300, Ilya Verbin wrote: > Done, I put them into env vars. > > > > + lappend ALWAYS_CFLAGS "additional_flags=${offload_additional_options}" > > > } > > > > Perhaps add this only if offload_additional_options is non-empty? > > Done. Ok (with appropriate ChangeLog entry). Jakub