From 12f825890bbbe43af257df67617cf9006baeb0bb Mon Sep 17 00:00:00 2001
From: Yaroslav Halchenko <debian@onerussian.com>
Date: Thu, 27 Apr 2023 16:37:31 -0400
Subject: [PATCH] Remove unused JAVA_HOME.  If to be used by child processes --
 should have been exported

---
 bench/bsbm_graphdb.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/bench/bsbm_graphdb.sh b/bench/bsbm_graphdb.sh
index 2c52dae2..1b865fc8 100755
--- a/bench/bsbm_graphdb.sh
+++ b/bench/bsbm_graphdb.sh
@@ -3,7 +3,6 @@
 DATASET_SIZE=100000
 PARALLELISM=16
 VERSION="9.3.3"
-JAVA_HOME=/usr/lib/jvm/java-11-openjdk
 
 set -eu
 cd bsbm-tools