From c95adfc995152b4fd5c81b8a41e6b15f2846834e Mon Sep 17 00:00:00 2001
From: Jan David Mol <mol@astron.nl>
Date: Fri, 7 Sep 2012 13:10:04 +0000
Subject: [PATCH] Task #514: Add some debugging

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

diff --git a/jenkins_make b/jenkins_make
index 557a1ac541f..705d8b1f69d 100755
--- a/jenkins_make
+++ b/jenkins_make
@@ -46,6 +46,8 @@ if (m#^([/._ A-Za-z0-9-]+):([0-9]+):[0-9:]* warning: +(.*)$#) {
 
   # Dynamic parts of a static executable
   next if $warning =~ /^Using '[^']+' in statically linked applications requires at runtime the shared libraries/;
+
+  print "ALLOWING file $file line $line warning $warning\n";
 }
 
 # ------ filter ld warnings, for example:
-- 
GitLab