mirror of
https://github.com/rtlsdrblog/rtl-sdr-blog.git
synced 2024-11-10 04:37:37 +01:00
contrib/jenkins.sh: run "make maintainer-clean"
Related: OS#3047 Signed-off-by: Oliver Smith <osmith@sysmocom.de> Signed-off-by: Steve Markgraf <steve@steve-m.de>
This commit is contained in:
parent
f68bb2fa77
commit
7f2ae12548
@ -36,5 +36,6 @@ LD_LIBRARY_PATH="$inst/lib" \
|
|||||||
DISTCHECK_CONFIGURE_FLAGS="--enable-werror" \
|
DISTCHECK_CONFIGURE_FLAGS="--enable-werror" \
|
||||||
$MAKE distcheck \
|
$MAKE distcheck \
|
||||||
|| cat-testlogs.sh
|
|| cat-testlogs.sh
|
||||||
|
$MAKE maintainer-clean
|
||||||
|
|
||||||
osmo-clean-workspace.sh
|
osmo-clean-workspace.sh
|
||||||
|
Loading…
Reference in New Issue
Block a user