misc/check_manpages.sh: add -E option to sed for for macOS compat.

[nit.git] / misc / jenkins / check_manpages.sh

diff --git a/misc/jenkins/check_manpages.sh b/misc/jenkins/check_manpages.sh
index b03b22a..c60113e 100755 (executable)
--- a/misc/jenkins/check_manpages.sh
+++ b/misc/jenkins/check_manpages.sh
@@ -59,7 +59,7 @@ for bin in bin/nit*; do
                fi
 
                # Test what is expected
-               if ! diff -q <(sed 's/\s*(.*)//' check_manpages-from_help.out) <(sed  's/\s*(.*)//' check_manpages-from_man.out) > /dev/null; then
+               if ! diff -q <(sed -E 's/\s*(.*)//' check_manpages-from_help.out) <(sed -E 's/\s*(.*)//' check_manpages-from_man.out) > /dev/null; then
                        echo "$opt: mismatch documentation in the manpage $man. Here the word diff:"
                        echo ""
                        wdiff check_manpages-from_help.out check_manpages-from_man.out | colordiff