From 2081b09fe3f1e71995cd6328c06c732aca5f77dc Mon Sep 17 00:00:00 2001
From: Jan David Mol <mol@astron.nl>
Date: Thu, 6 Sep 2012 10:06:22 +0000
Subject: [PATCH] Task #514: Fixed warning filtering

---
 jenkins_make | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/jenkins_make b/jenkins_make
index ce942b16cbd..1276b802f33 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;
 
-- 
GitLab