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" "$@";