laforge has uploaded this change for review.

View Change

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
---
M contrib/jenkins.sh
1 file changed, 1 insertion(+), 1 deletion(-)

git pull ssh://gerrit.osmocom.org:29418/pysim refs/changes/23/27123/1

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 480f3e5..0fd2473 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -48,7 +48,7 @@
 (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

To view, visit change 27123. To unsubscribe, or for help writing mail filters, visit settings.