jenkins.sh: Verify distro-specific patches apply

Change-Id: I75792c5defff63b7deaeb533b6818deaac3e0fd3
This commit is contained in:
Pau Espin 2020-08-25 15:33:33 +02:00
parent e30e0ad9be
commit 03334967c9
1 changed files with 6 additions and 0 deletions

View File

@ -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