diff options
Diffstat (limited to 'jjb/doctor')
| -rw-r--r-- | jjb/doctor/docu-build.sh | 4 | ||||
| -rwxr-xr-x | jjb/doctor/t.sh | 9 |
2 files changed, 2 insertions, 11 deletions
diff --git a/jjb/doctor/docu-build.sh b/jjb/doctor/docu-build.sh index fde367b4c..61613453f 100644 --- a/jjb/doctor/docu-build.sh +++ b/jjb/doctor/docu-build.sh @@ -34,8 +34,8 @@ if [[ $JOB_NAME =~ "verify" ]] ; then echo "Document is available at http://$gs_path_review" else gsutil cp -r build/design_docs "gs://$gs_path_branch/" - gsutil cp -r build/html "gs://$gs_path_branch/" - gsutil cp -r build/latex/*.pdf "gs://$gs_path_branch/" + gsutil cp -r build/requirements/html "gs://$gs_path_branch/" + gsutil cp -r build/requirements/latex/*.pdf "gs://$gs_path_branch/" echo echo "Document is available at http://$gs_path_branch" fi diff --git a/jjb/doctor/t.sh b/jjb/doctor/t.sh deleted file mode 100755 index 3005c6d15..000000000 --- a/jjb/doctor/t.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/bash -set -e -set -o pipefail - - -[[ $GERRIT_CHANGE_NUMBER =~ .* ]] - - -echo "done" |