Juan RP e68ead38a0 environment/gnu-configure-args: only set args in two specific cases. ...

Only set configure_args if build_style is unset or build_style=gnu-configure.
In other cases it's not really necessary to set them.

2014-11-23 11:16:39 +01:00

1.9 KiB

Raw Blame History

View Raw