From 060e97fb4af0752aaba1ccc97d30e63a58cb5a5b Mon Sep 17 00:00:00 2001
From: Carl Hetherington <cth@carlh.net>
Date: Mon, 20 May 2024 21:36:57 +0200
Subject: Use $HOME rather than hard-coded user name.

---
 run/tests | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/run/tests b/run/tests
index 5db647af4..5818d70e3 100755
--- a/run/tests
+++ b/run/tests
@@ -82,9 +82,9 @@ if [ "$(uname)" == "Darwin" ]; then
   rm -f build/test/openssl
   ln -s ../../../openssl/apps/openssl build/test/openssl
   # SIP stops this being passed in from the caller's environment
-  export DYLD_LIBRARY_PATH=$environment/x86_64/10.10/lib:/Users/ci/workspace/lib
+  export DYLD_LIBRARY_PATH=$environment/x86_64/10.10/lib:$HOME/workspace/lib
   # We need to find ffcmp in here
-  export PATH=$PATH:/Users/ci/workspace/bin
+  export PATH=$PATH:$HOME/workspace/bin
 fi
 
 if [ "$check" == "1" ]; then
-- 
cgit v1.2.3