1 files changed, 0 insertions, 33 deletions
diff --git a/tools/pipol/scripts/compile-svn.sh b/tools/pipol/scripts/compile-svn.sh
deleted file mode 100755
index 092c6c1..0000000
--- a/tools/pipol/scripts/compile-svn.sh
+++ /dev/null
@@ -1,33 +0,0 @@
-#!/bin/sh
-if [[ $# -lt 1 ]]; then
-    echo Usage: `basename $0` dir [options];
-    echo -n "Configure, compile, and check sources in \$PIPOL_WDIR/dir "
-    echo passing options to the compiler;
-    exit 1;
-else
-    echo \*
-    echo \* $0 $*
-    echo \*
-fi
-
-cd $PIPOL_WDIR/$1
-if [[ ! -f configure ]]; then
-	autoreconf -i || exit 1
-fi
-
-shift
-if grep -q "CFLAGS=" <<<"$@"; then
-# "$@" would also split the CFLAGS options so we have to separate configure
-# and CFLAGS options manually
-    CONFIGURE_OPTIONS=`sed -ne 's/\(.*\)\ *CFLAGS=\"\(.*\)\"\(.*\)/\1\3/p' <<<"$@"`
-    CFLAGS_OPTIONS=`sed -ne 's/\(.*\)\ *CFLAGS=\"\(.*\)\"\(.*\)/CFLAGS=\2/p' <<<"$@"`
-    ./configure $CONFIGURE_OPTIONS "$CFLAGS_OPTIONS" 
-else
-    ./configure "$@"
-fi
-if [ $? != 0 ]; then
-# configure failed
-    cat config.log
-    exit 1
-fi
-make && make check