#! /bin/sh
# run the automatically generated configure script
${srcdir:=.}
CONFIG_STATUS=auto/config.status \
	auto/configure "$@" --srcdir="$srcdir" --cache-file=auto/config.cache
