@@ -63,6 +63,8 @@ ignore_pat="$ignore_pat|/Wizard/licenses/.*\\.html$"
63ignore_pat="$ignore_pat|\\.qrc$"
63ignore_pat="$ignore_pat|\\.qrc$"
64# the doc devices.conf file
64# the doc devices.conf file
65ignore_pat="$ignore_pat|/doc/devices\\.conf$"
65ignore_pat="$ignore_pat|/doc/devices\\.conf$"
66+# Jenkins configuration
67+ignore_pat="$ignore_pat|/Jenkinsfile"
68# We don't use the -i option of licensecheck to add ignore_dir to the pattern because Jenkins creates directories
70# We don't use the -i option of licensecheck to add ignore_dir to the pattern because Jenkins creates directories