1*60517a1eSAndroid Build Coastguard Worker#!/bin/bash 2*60517a1eSAndroid Build Coastguard Worker 3*60517a1eSAndroid Build Coastguard Workerset -eou pipefail 4*60517a1eSAndroid Build Coastguard Worker 5*60517a1eSAndroid Build Coastguard Workerdeclare -a extra_env 6*60517a1eSAndroid Build Coastguard Workerwhile IFS='=' read -r -d '' name value; do 7*60517a1eSAndroid Build Coastguard Worker if [[ "$name" == READTHEDOCS* ]]; then 8*60517a1eSAndroid Build Coastguard Worker extra_env+=("--//sphinxdocs:extra_env=$name=$value") 9*60517a1eSAndroid Build Coastguard Worker fi 10*60517a1eSAndroid Build Coastguard Workerdone < <(env -0) 11*60517a1eSAndroid Build Coastguard Worker 12*60517a1eSAndroid Build Coastguard Worker# In order to get the build number, we extract it from the host name 13*60517a1eSAndroid Build Coastguard Workerextra_env+=("--//sphinxdocs:extra_env=HOSTNAME=$HOSTNAME") 14*60517a1eSAndroid Build Coastguard Worker 15*60517a1eSAndroid Build Coastguard Workerset -x 16*60517a1eSAndroid Build Coastguard Workerbazel run \ 17*60517a1eSAndroid Build Coastguard Worker --config=rtd \ 18*60517a1eSAndroid Build Coastguard Worker "--//sphinxdocs:extra_defines=version=$READTHEDOCS_VERSION" \ 19*60517a1eSAndroid Build Coastguard Worker "${extra_env[@]}" \ 20*60517a1eSAndroid Build Coastguard Worker //docs:readthedocs_install 21