echo "configuring ...";
autoconf || exit 1;
echo "Env for configure:"
echo "Log Env for configure to `pwd`/env.log"
set
set > env.log
echo "Env for configure ends"
eval ./configure "$CONFIGURE_OPTIONS" "$PROPAGATED_ARGS" || exit 1;