From d2568ea968b7b179b798483d058066960d770caa Mon Sep 17 00:00:00 2001 From: Ravind Kumar Date: Fri, 22 Nov 2024 17:00:46 -0500 Subject: [PATCH] Whoops --- build-docs-ci.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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