summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorVadim Yanitskiy <axilirator@gmail.com>2019-12-22 01:00:53 +1000
committerlaforge <laforge@osmocom.org>2019-12-31 17:03:12 +0000
commit5198385533055035bf8e1caf3e7724a3dd41235d (patch)
tree668511965c837a98a4e73d4dadeb298a98b2126f
parent4ddb2e61c7a70ba27651394c406ead4941aa2b74 (diff)
contrib/jenkins.sh: also verify building the firmware
-rwxr-xr-xcontrib/jenkins.sh4
1 files changed, 4 insertions, 0 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 52c65661..ec81f03b 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -67,4 +67,8 @@ for dir in gprsdecode layer23 gsmmap osmocon trxcon virt_phy; do
make maintainer-clean
done
+# Build the firmware (against the local copy of libosmocore)
+cd "$base/src"
+make firmware
+
osmo-clean-workspace.sh