From 5981aa5c7f5fd4443259f8e1332c57213cf1fdb6 Mon Sep 17 00:00:00 2001 From: Harald Welte Date: Wed, 9 Feb 2022 18:02:31 +0100 Subject: [PATCH] contrib/jenkins.sh: Fix PUBLISH There is no $base in this script, and the current form renders: make: *** /docs: No such file or directory. Stop. Build step 'Execute shell' marked build as failure Change-Id: Ifcf27f7497daeb285dfb364bff20d0c861c77dcb Related: OS#5271 --- contrib/jenkins.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 480f3e5b..0fd2473c 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -48,7 +48,7 @@ pip3 install -e 'git+https://github.com/osmocom/sphinx-argparse@master#egg=sphin (cd docs && make html latexpdf) if [ "$WITH_MANUALS" = "1" ] && [ "$PUBLISH" = "1" ]; then - make -C "$base/docs" publish + make -C "docs" publish fi # run the test with physical cards