From 7122aec68a21cc1195485f6033daeea3b1c502a4 Mon Sep 17 00:00:00 2001
From: Brad House <brad@brad-house.com>
Date: Tue, 23 Jul 2024 14:52:05 -0400
Subject: [PATCH] CI: fix coverage build

---
 ci/test.sh | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/ci/test.sh b/ci/test.sh
index 938adee4..01c32de7 100755
--- a/ci/test.sh
+++ b/ci/test.sh
@@ -23,8 +23,16 @@ PWD=`pwd`
 TESTDIR="${PWD}/test"
 
 if [ "$BUILD_TYPE" = "autotools" -o "$BUILD_TYPE" = "coverage" ]; then
-    TOOLSBIN="${PWD}/atoolsbld/src/tools/.libs/"
-    TESTSBIN="${PWD}/atoolsbld/test/.libs/"
+    if [ -f "${PWD}/atoolsbld/src/tools/.libs/adig" ] ; then
+        TOOLSBIN="${PWD}/atoolsbld/src/tools/.libs/"
+    else
+        TOOLSBIN="${PWD}/atoolsbld/src/tools/"
+    fi
+    if [ -f "${PWD}/atoolsbld/test/.libs/arestest" ] ; then
+        TESTSBIN="${PWD}/atoolsbld/test/.libs/"
+    else
+        TESTSBIN="${PWD}/atoolsbld/test/"
+    fi
     export LD_LIBRARY_PATH=${PWD}/atoolsbld/src/lib/.libs:$LD_LIBRARY_PATH
     export DYLD_LIBRARY_PATH=${PWD}/atoolsbld/src/lib/.libs:$DYLD_LIBRARY_PATH
 else