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
..
autoconf_cache
.empty
gnu-configure-args.sh	environment/gnu-configure-args: only set args in two specific cases.	2014-11-23 11:16:39 +01:00
pkg-config.sh