fixeria submitted this change.
contrib/jenkins.sh: fix 'publish' target
Executing 'maintainer-clean' before 'publish' makes the later fail:
+ make -C /build/doc/manuals publish
make: Entering directory '/build/doc/manuals'
make: Leaving directory '/build/doc/manuals'
make: *** No rule to make target 'publish'. Stop.
Execute 'maintainer-clean' after 'publish', like other projects do.
Change-Id: I16cc855ee05726938e1542f481488364c5e47a95
Fixes: I2fe0de9bcb372333da1e5c81712a511cda34858c
---
M contrib/jenkins.sh
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index f3331af..561d3d9 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -53,10 +53,10 @@
DISTCHECK_CONFIGURE_FLAGS="--enable-external-tests $CONFIG" \
$MAKE $PARALLEL_MAKE distcheck \
|| cat-testlogs.sh
-$MAKE $PARALLEL_MAKE maintainer-clean
if [ "$WITH_MANUALS" = "1" ] && [ "$PUBLISH" = "1" ]; then
make -C "$base/doc/manuals" publish
fi
+$MAKE $PARALLEL_MAKE maintainer-clean
osmo-clean-workspace.sh
To view, visit change 29233. To unsubscribe, or for help writing mail filters, visit settings.