From 7b7cb7b876a6f663dd0eb93a9bdd40d554e20ae8 Mon Sep 17 00:00:00 2001
From: Matt McHenry <github@matt.mchenryfamily.org>
Date: Sat, 21 Mar 2020 22:45:14 -0400
Subject: [PATCH] openjdk 12: fix possibly-unbound JAVA_HOME

as done in 373236ccfffe7053b1503a8992ddff7ebae3ed6f for all other uses
---
 pkgs/development/compilers/openjdk/12.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/development/compilers/openjdk/12.nix b/pkgs/development/compilers/openjdk/12.nix
index 29992fdae687..16c2fd766bce 100644
--- a/pkgs/development/compilers/openjdk/12.nix
+++ b/pkgs/development/compilers/openjdk/12.nix
@@ -114,7 +114,7 @@ let
       # Set JAVA_HOME automatically.
       mkdir -p $out/nix-support
       cat <<EOF > $out/nix-support/setup-hook
-      if [ -z "\$JAVA_HOME" ]; then export JAVA_HOME=$out/lib/openjdk; fi
+      if [ -z "\''${JAVA_HOME-}" ]; then export JAVA_HOME=$out/lib/openjdk; fi
       EOF
     '';