diff options
author | Pau Espin Pedrol <pespin@sysmocom.de> | 2020-08-25 15:33:33 +0200 |
---|---|---|
committer | Pau Espin Pedrol <pespin@sysmocom.de> | 2020-08-25 15:41:30 +0200 |
commit | 03334967c96f051a37df565c626da21a53ee5014 (patch) | |
tree | ec3797785bc67b02530ef98d53baa6a88bc96712 /contrib | |
parent | e30e0ad9bec362dcc7d4c4ac8cdc1123a2c51a59 (diff) |
jenkins.sh: Verify distro-specific patches apply
Change-Id: I75792c5defff63b7deaeb533b6818deaac3e0fd3
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/jenkins.sh | 6 |
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 |