1 files changed, 0 insertions, 25 deletions

diff --git a/tools/build b/tools/build
deleted file mode 100755
index 3ca8a76..0000000
--- a/tools/build
+++ /dev/null
@@ -1,25 +0,0 @@
-#!/bin/bash
-
-# environment variables:
-# $JFLAGS: additional flags passed to the java compiler
-
-BASEDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"/..
-
-source $BASEDIR/envcfg
-
-CLASSPATH="$BASEDIR/build/:$BASEDIR/lib/*:$GNUNET_JAVA_CLASSPATH:$GNUNET_JAVA_DEPS"
-
-echo "using classpath $CLASSPATH"
-
-# collect all source files
-SOURCES=`find "$BASEDIR/src/" "$BASEDIR/test/" -name "*.java"`
-
-mkdir -p $BASEDIR/build
-
-javac $JFLAGS -cp $CLASSPATH  -d $BASEDIR/build/ $SOURCES
-
-cd "$BASEDIR/src/"
-
-# collect resources from src/ and copy to build/
-find "." \( -name "*.txt" -o -name "*.properties" \) \
-    -exec cp --parents '{}' "../build" \;