Merge PR #10163: Fix dependencies of new test file and fix macOS issues.

Ack-by: SkySkimmer
Ack-by: Zimmi48
Reviewed-by: vbgl

1 files changed, 3 insertions, 2 deletions

diff --git a/test-suite/misc/changelog.sh b/test-suite/misc/changelog.sh
index ed473e5874..76eb0de5aa 100755
--- a/test-suite/misc/changelog.sh
+++ b/test-suite/misc/changelog.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
 
 if grep -q -F "is_a_released_version = False" ../config/coq_config.py; then
     echo "This is not a released version: nothing to test."
@@ -7,7 +7,8 @@ fi
 
 for d in ../doc/changelog/*; do
   if [ -d "$d" ]; then
-    if [ "$(ls $d/*.rst | wc -l)" != "1" ]; then
+    files=("$d"/*.rst)
+    if [ "${#files[@]}" != 1 ]; then
       echo "Fatal: unreleased changelog entries remain in ${d#../}/"
       echo "Include them in doc/sphinx/changes.rst and remove them from doc/changelog/"
       exit 1