diff options
Diffstat (limited to 'dvconfigure')
-rwxr-xr-x | dvconfigure | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/dvconfigure b/dvconfigure deleted file mode 100755 index 58dfbb6..0000000 --- a/dvconfigure +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash - -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" "$@"; |