diff --git a/jenkins_make b/jenkins_make index 557a1ac541f28a55946215b763ad49fb3a9a3e9c..705d8b1f69d6b0ca03bbc074b6bae9a66dd84896 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: