From 5bdc5f0b7f4e26f0e97dc8c0773f013654e4f36e Mon Sep 17 00:00:00 2001
From: Sachin Tewari <stew@fb.com>
Date: Mon, 3 Jun 2024 16:24:03 +0100
Subject: [PATCH] Export JAVA_HOME for JDK 17 on CircleCI

---
 .circleci/config.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 44d64b2815..53c4f031fe 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -35,6 +35,7 @@ commands:
             sudo update-alternatives --set java /usr/lib/jvm/java-17-openjdk-amd64/bin/java
             sudo update-alternatives --set javac /usr/lib/jvm/java-17-openjdk-amd64/bin/javac
             java -version
+            export JAVA_HOME="/usr/lib/jvm/java-17-openjdk-amd64/"
 
 jobs:
   build: