summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xconfigure3
1 files changed, 2 insertions, 1 deletions
diff --git a/configure b/configure
index efcf63d01f..1a8337d63e 100755
--- a/configure
+++ b/configure
@@ -39,7 +39,8 @@ function print_flags {
if [ ! -z ${!VERSION:-} ] ; then
mason install ${NAME} ${!VERSION}
for FLAGS in "$@" ; do
- CONFIG+=" '${NAME}_${FLAGS}%': $(quote_flags $(mason ${FLAGS} ${NAME} ${!VERSION})),"$LN
+ flags=$(mason ${FLAGS} ${NAME} ${!VERSION}) || exit 1
+ CONFIG+=" '${NAME}_${FLAGS}%': $(quote_flags $flags),"$LN
done
else
warn "* Not using ${NAME}"