#! /bin/sh
# $Id$

(
	set -ex
	rm -f config.cache
	export CFLAGS="-ggdb3"
	export CXXFLAGS="-ggdb3"
	./configure --enable-static --disable-shared --enable-debug "$@"
	) 2>&1|tee errs1