contrib/jenkins.sh: run "make maintainer-clean"
Related: OS#3047 Change-Id: Ifc91733c7fe0c5a002037523116014bf270997efchanges/32/14732/2
parent
09ce3dcbdf
commit
aa0a295a3d
|
@ -78,4 +78,5 @@ if [ "$WITH_MANUALS" = "1" ] && [ "$PUBLISH" = "1" ]; then
|
|||
make -C "$base/doc/manuals" publish
|
||||
fi
|
||||
|
||||
$MAKE maintainer-clean
|
||||
osmo-clean-workspace.sh
|
||||
|
|
Loading…
Reference in New Issue