diff --git a/etc/ci/upload_docs.sh b/etc/ci/upload_docs.sh index 2b5e236c104..2a2cc7ac0a9 100755 --- a/etc/ci/upload_docs.sh +++ b/etc/ci/upload_docs.sh @@ -14,7 +14,7 @@ set -o pipefail cd "$(dirname ${0})/../.." -./mach doc +env CC=gcc-5 CXX=g++-5 ./mach doc # etc/doc.servo.org/index.html overwrites $(mach rust-root)/doc/index.html # Use recursive copy here to avoid `cp` returning an error code # when it encounters directories.