From 0153d38646f13da27da96a23aeacce8ba716c19d Mon Sep 17 00:00:00 2001
From: Julien Fischer <juliensf@gmail.com>
Date: Fri, 30 Dec 2022 18:23:31 +1100
Subject: [PATCH] Do not hardcode sed in the bootcheck script.

tools/bootcheck:
    Allow the executable name used for sed to be overridden
    in the environment. (This is useful for using the GNU
    version of sed on macOS instead of the one it ships with.)
---
 tools/bootcheck | 20 ++++++++++++--------
 1 file changed, 12 insertions(+), 8 deletions(-)

diff --git a/tools/bootcheck b/tools/bootcheck
index 6028f2d47..e41b8e9dc 100755
--- a/tools/bootcheck
+++ b/tools/bootcheck
@@ -637,13 +637,17 @@ fi
 
 #-----------------------------------------------------------------------------#
 
+SED=${SED:-sed}
+
+#-----------------------------------------------------------------------------#
+
 # Turn off the debugger, since accidentally leaving it on will result
 # in user interaction every time we invoke any version of the compiler
 # that was compiled with tracing. This has happened to me accidentally
 # one too many times - zs.
 if echo "${MERCURY_OPTIONS}" | grep '\-Di' > /dev/null
 then
-    MERCURY_OPTIONS=$(echo "${MERCURY_OPTIONS}" | sed -e 's/-Di//')
+    MERCURY_OPTIONS=$(echo "${MERCURY_OPTIONS}" | $SED -e 's/-Di//')
     export MERCURY_OPTIONS
 fi
 
@@ -2056,11 +2060,11 @@ then
 
         cp "${root}"/doc/mdb_command_test.inp tests/debugger
 
-        sed -e "s:@WORKSPACE@:${WORKSPACE}:" \
+        ${SED} -e "s:@WORKSPACE@:${WORKSPACE}:" \
             < tests/WS_FLAGS.ws \
             > tests/WS_FLAGS
 
-        sed -e "s:@WORKSPACE@:${WORKSPACE}:" \
+        ${SED} -e "s:@WORKSPACE@:${WORKSPACE}:" \
             < tests/.mgnuc_copts.ws \
             > tests/.mgnuc_copts
 
@@ -2320,7 +2324,7 @@ cat /dev/null > "${tests_dir}"/EXPECT_FAIL_TESTS
 
 if test -s "${tests_dir}"/FAILED_TESTS_SUMMARY
 then
-    sed -e 's/ .*//' < "${tests_dir}"/FAILED_TESTS_SUMMARY \
+    ${SED} -e 's/ .*//' < "${tests_dir}"/FAILED_TESTS_SUMMARY \
         > "${tests_dir}"/FAIL_TESTS
 
     if test -f "${tests_dir}"/EXPECT_FAIL_TESTS.all_grades
@@ -2414,13 +2418,13 @@ then
         1)
             echo "one expected test case failure:"
             echo
-            sed -e 's/^/    /' < "${tests_dir}"/EXPECTED_FAILED_TESTS
+            ${SED} -e 's/^/    /' < "${tests_dir}"/EXPECTED_FAILED_TESTS
             echo
             ;;
         *)
             echo "${num_expected_failures} expected test case failures:"
             echo
-            sed -e 's/^/    /' < "${tests_dir}"/EXPECTED_FAILED_TESTS
+            ${SED} -e 's/^/    /' < "${tests_dir}"/EXPECTED_FAILED_TESTS
             echo
             ;;
     esac
@@ -2432,13 +2436,13 @@ then
         1)
             echo "one unexpected test case failure:"
             echo
-            sed -e 's/^/    /' < "${tests_dir}"/UNEXPECTED_FAILED_TESTS
+            ${SED} -e 's/^/    /' < "${tests_dir}"/UNEXPECTED_FAILED_TESTS
             echo
             ;;
         *)
             echo "${num_unexpected_failures} unexpected test case failures:"
             echo
-            sed -e 's/^/    /' < "${tests_dir}"/UNEXPECTED_FAILED_TESTS
+            ${SED} -e 's/^/    /' < "${tests_dir}"/UNEXPECTED_FAILED_TESTS
             echo
             ;;
     esac