From 1c52a132c862994213e859bc814bc1273024e0b8 Mon Sep 17 00:00:00 2001
From: Oliver Smith <osmith@sysmocom.de>
Date: Tue, 12 Jul 2022 12:11:54 +0200
Subject: [PATCH] contrib/jenkins.sh: build libopencm3 first

Fix for:
  fatal error: libopencm3/stm32/f1/nvic.h: No such file or directory

Related: SYS#6041
---
 contrib/jenkins.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 649128c..e1e9da7 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -11,6 +11,10 @@ publish="$1"
 git submodule init
 git submodule update
 
+echo "=============== libopencm3 START  =============="
+cd "$TOPDIR"
+make $PARALLEL_MAKE lib
+echo "=============== libopencm3 DONE =============="
 
 PROJECTS="relay-driver rfdsatt "