diff --git a/jenkins_make b/jenkins_make index ce942b16cbdde50172d3aeeba277a81bcf8cb159..1276b802f33007a7c98ca704825d2cb8ce74ce99 100755 --- a/jenkins_make +++ b/jenkins_make @@ -9,7 +9,7 @@ make $@ 2>&1 | perl -n <(cat <<'EOF' # ----- filter gcc warnings, for example: # /usr/include/boost/date_time/gregorian/conversion.hpp:44: warning: missing initializer ... -if (m#^([/._ A-Za-z0-9]+):([0-9]+): warning: +(.*)$#) { +if (m#^([/._ A-Za-z0-9-]+):([0-9]+): warning: +(.*)$#) { $file = $1; $line = $2; $warning = $3; @@ -34,7 +34,7 @@ if (m#^([/._ A-Za-z0-9]+):([0-9]+): warning: +(.*)$#) { # ------ filter ld warnings, for example: # SocketStream.cc:(.text+0x482c): warning: Using 'getaddrinfo' in statically linked ... -if (m#^([/._ A-Za-z0-9]+):\([+.A-Za-z0-9]+\): warning: (.*)$#) { +if (m#^([/._ A-Za-z0-9-]+):\([+.A-Za-z0-9]+\): warning: (.*)$#) { $file = $1; $warning = $2;