From 9474ea3334905edf0c452d125f5ab4fe79a41ede Mon Sep 17 00:00:00 2001
From: Jan David Mol <mol@astron.nl>
Date: Fri, 7 Sep 2012 12:45:28 +0000
Subject: [PATCH] Task #514: Filter more casarest warnings

---
 jenkins_make | 1 +
 1 file changed, 1 insertion(+)

diff --git a/jenkins_make b/jenkins_make
index 13c8bad0dc3..557a1ac541f 100755
--- a/jenkins_make
+++ b/jenkins_make
@@ -42,6 +42,7 @@ if (m#^([/._ A-Za-z0-9-]+):([0-9]+):[0-9:]* warning: +(.*)$#) {
   next if $file =~ m#^/opt/cep/casarest/# && $warning =~ /^'[^']+' was hidden/;
   next if $file =~ m#^/opt/cep/casarest/# && $warning =~ /^by '[^']+'/;
   next if $file =~ m#^/opt/cep/casarest/# && $warning =~ /^unused parameter/;
+  next if $file =~ m#^/opt/cep/casarest/# && $warning =~ /^abstract virtual '[^']+' called from constructor/;
 
   # Dynamic parts of a static executable
   next if $warning =~ /^Using '[^']+' in statically linked applications requires at runtime the shared libraries/;
-- 
GitLab