[m-rev.] diff: Make configure_cross check for mmc --version.

[Peter Wang]

tools/configure_cross:
    Update the script to check for a Mercury compiler by running
    "mmc --version", as "mmc -v" no longer outputs version information
    after 2023-09-09.

diff --git a/tools/configure_cross b/tools/configure_cross
index 0c9896683..3612e9a1b 100755
--- a/tools/configure_cross
+++ b/tools/configure_cross
@@ -60,7 +60,7 @@ else
     exit 1
 fi
 
-if command -v mmc >/dev/null && mmc -v 2>&1 | grep -q Mercury
+if mmc --version 2>&1 | grep -q Mercury
 then
     true
 else
-- 
2.42.0