#!/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