fi
fi
-printf "\n./configure ${CFLAGS:+CFLAGS=\"${CFLAGS}\" }$config_opts\n"
-./configure ${CFLAGS:+CFLAGS="${CFLAGS}"" "}$config_opts
+printf "\n./configure $config_opts ${CFLAGS:+CFLAGS=\"${CFLAGS}\" }\n"
+./configure $config_opts ${CFLAGS:+CFLAGS="${CFLAGS}"" "}
status=$?
if [ $status -eq 0 ]; then