aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPau Espin Pedrol <pespin@sysmocom.de>2020-08-25 15:33:33 +0200
committerPau Espin Pedrol <pespin@sysmocom.de>2020-08-25 15:41:30 +0200
commit03334967c96f051a37df565c626da21a53ee5014 (patch)
treeec3797785bc67b02530ef98d53baa6a88bc96712
parente30e0ad9bec362dcc7d4c4ac8cdc1123a2c51a59 (diff)
jenkins.sh: Verify distro-specific patches apply
-rwxr-xr-xcontrib/jenkins.sh6
1 files changed, 6 insertions, 0 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 95ea128..9561d67 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -115,4 +115,10 @@ if [ "$WITH_MANUALS" = "1" ] && [ "$PUBLISH" = "1" ]; then
fi
$MAKE maintainer-clean
+
+# Verify distro-specific package patches apply:
+for patch in debian/patches/*.patch; do
+ patch --dry-run -p1 < "$patch"
+done
+
osmo-clean-workspace.sh