#!/bin/sh
# usage: $0 [optional arguments to configure]
if ! [ -f "./autogen.sh" ]; then
echo "ERROR: cannot find autogen.sh, run from the top level directory"
exit 1
fi
set -e
./autogen.sh
./configure "$@"
echo "D=$D"
make