diff options
Diffstat (limited to 'tools/build')
-rwxr-xr-x | tools/build | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/build b/tools/build index 225be8e..998756d 100755 --- a/tools/build +++ b/tools/build | |||
@@ -12,6 +12,9 @@ set -e | |||
12 | BASEDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"/.. | 12 | BASEDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"/.. |
13 | 13 | ||
14 | 14 | ||
15 | OUTDIR="$BASEDIR/build/" | ||
16 | |||
17 | |||
15 | # collect all source files | 18 | # collect all source files |
16 | SOURCES_PROD=`find "$BASEDIR/src/" -name "*.java"` | 19 | SOURCES_PROD=`find "$BASEDIR/src/" -name "*.java"` |
17 | SOURCES_TEST=`find "$BASEDIR/test/" -name "*.java"` | 20 | SOURCES_TEST=`find "$BASEDIR/test/" -name "*.java"` |