From 05a8d8d7becd35fc0d923e92b048a9a3ae9cc2cc Mon Sep 17 00:00:00 2001
From: Edward Thomson <ethomson@edwardthomson.com>
Date: Tue, 19 Dec 2023 11:25:24 +0000
Subject: [PATCH] ci: show PATH in build script

---
 ci/build.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ci/build.sh b/ci/build.sh
index 80e7a61ae..a9b66f661 100755
--- a/ci/build.sh
+++ b/ci/build.sh
@@ -61,6 +61,8 @@ if test -n "${CC}"; then
 	"${CC}" --version 2>&1 | indent
 fi
 echo "Environment:"
+echo "PATH=${BUILD_PATH}" | indent
+
 if test -n "${CC}"; then
 	echo "CC=${CC}" | indent
 fi