diff options
Diffstat (limited to 'database/db/BUILD')
-rwxr-xr-x | database/db/BUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/database/db/BUILD b/database/db/BUILD index 2f33b2338c..caad726424 100755 --- a/database/db/BUILD +++ b/database/db/BUILD @@ -1,7 +1,7 @@ patch -p1 < $SCRIPT_DIRECTORY/javafix.diff && sedit 's|\(docdir\w*=\w*[^/]*\)/docs|\1/share/doc/db|' dist/Makefile.in && -OPTS="$OPTS $DB_JSUP $TESTS" && +OPTS="$OPTS $DB_JSUP $DB_TESTS" && if [ "$DB_JSUP" == "--enable-java" ]; then if [ -f $INSTALL_ROOT/etc/profile.d/java.sh ]; then |