diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index e562d59..55f8bf9 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -11,6 +11,9 @@ publish="$1"
 git submodule init
 git submodule update
 
+# build the library once so that the irq2nvic script is running, generating headers
+(cd libopencm3 && make)
+
 echo "=============== libopencm3 START  =============="
 cd "$TOPDIR"
 make $PARALLEL_MAKE lib