diff --git a/build-docs-ci.sh b/build-docs-ci.sh index 7456cd53..6cace285 100755 --- a/build-docs-ci.sh +++ b/build-docs-ci.sh @@ -3,7 +3,7 @@ set -ex export PATH=${PATH}:${HOME}/.local/bin -export GITDIR=$(shell git rev-parse --abbrev-ref HEAD) +export GITDIR=main make SYNC_SDK=TRUE linux