summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorOliver Smith <osmith@sysmocom.de>2019-07-10 12:22:24 +0200
committerOliver Smith <osmith@sysmocom.de>2019-07-10 13:33:04 +0200
commit32a1a5b5da1e038d94f6e0a1a38dfb9b87072552 (patch)
tree9779992fb5b5e2bb60f50d29e92ae65492413c66
parent62825cc8eb4e26d58d32a0af72b17256b185af61 (diff)
contrib/jenkins.sh: run "make maintainer-clean"
-rwxr-xr-xcontrib/jenkins.sh6
1 files changed, 6 insertions, 0 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index dc8cda65..52c65661 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -61,4 +61,10 @@ if [ "$WITH_MANUALS" = "1" ]; then
fi
fi
+# Test 'maintainer-clean'
+for dir in gprsdecode layer23 gsmmap osmocon trxcon virt_phy; do
+ cd "$base/src/host/$dir"
+ make maintainer-clean
+done
+
osmo-clean-workspace.sh