diff --git a/jjb/shell/licensecheck.sh b/jjb/shell/licensecheck.sh
index d0b2347..3d64307 100755
--- a/jjb/shell/licensecheck.sh
+++ b/jjb/shell/licensecheck.sh
@@ -58,6 +58,7 @@
   ! -name "*.oar" \
   ! -name "*.p12" \
   ! -name "*.patch" \
+  ! -name "*.pdf" \
   ! -name "*.pcap" \
   ! -name "*.pem" \
   ! -name "*.png" \