blob: 5747bfe8d33570be124fa110cf970763937c570e (
plain)
1
2
3
4
5
6
7
8
9
10
|
#!/bin/sh
topdir="${0%/*}";
abstopdir=$(readlink -f "$topdir");
if [ ! -e "${topdir}/configure" ]; then
pushd "$topdir";
./autogen.sh;
popd;
fi;
exec "$topdir/configure" CFLAGS="-O0 -ggdb3" CXXFLAGS="-O0 -ggdb3" "$@";
|