diff options
author | Harald Welte <laforge@osmocom.org> | 2022-02-09 18:02:31 +0100 |
---|---|---|
committer | Harald Welte <laforge@osmocom.org> | 2022-02-09 18:02:31 +0100 |
commit | 5981aa5c7f5fd4443259f8e1332c57213cf1fdb6 (patch) | |
tree | 9403ab24f71b1cfee97d6d77a2c743da72ba9b5a | |
parent | 6b08fc3b49483bac12c70c97eb7565dcf5e19853 (diff) |
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
-rwxr-xr-x | contrib/jenkins.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 @@ 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 |