From 1eb3ab9895bca57a57f30628a3458a2acd781517 Mon Sep 17 00:00:00 2001 From: "John M. Penn" Date: Fri, 4 Aug 2023 11:35:12 -0500 Subject: [PATCH] Set JAVA_HOME prior to building Trick in code_coverage.yml. --- .github/workflows/code_coverage.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/code_coverage.yml b/.github/workflows/code_coverage.yml index 5cf64923..32abf3e3 100644 --- a/.github/workflows/code_coverage.yml +++ b/.github/workflows/code_coverage.yml @@ -50,6 +50,7 @@ jobs: export TRICK_SYSTEM_LDFLAGS="-fprofile-arcs -ftest-coverage -O0" export TRICK_SYSTEM_CFLAGS="-fprofile-arcs -ftest-coverage -O0" export TRICK_SYSTEM_CXXFLAGS="-fprofile-arcs -ftest-coverage -O0" + export JAVA_HOME=$(dirname $(dirname $(readlink -f `which java`))) make - name: Generate Code Coverage run: |