From fa6f449bda14ab37c3e212610f49381e83150469 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Alexis=20Laferri=C3=A8re?= Date: Thu, 28 Feb 2019 09:04:48 -0500 Subject: [PATCH] misc/check_manpages.sh: add -E option to sed for for macOS compat. MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Signed-off-by: Alexis Laferrière --- misc/jenkins/check_manpages.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/misc/jenkins/check_manpages.sh b/misc/jenkins/check_manpages.sh index b03b22a..c60113e 100755 --- 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 -- 1.7.9.5