From aa380d149e1069b5ac7ff3727b8a91c1eb21d380 Mon Sep 17 00:00:00 2001
From: Jason Kridner <jkridner@beagleboard.org>
Date: Sat, 2 Dec 2023 05:21:41 +0000
Subject: [PATCH] gitlab-build.sh: try again to fix options
---
gitlab-build.sh | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/gitlab-build.sh b/gitlab-build.sh
index ab4ada0a..ab899b89 100755
--- a/gitlab-build.sh
+++ b/gitlab-build.sh
@@ -54,12 +54,12 @@ HERE
echo "**** make html ****"
# Build and serve HTML
- make html BUILDDIR=public/$VER_DIR $@
+ make $@ html BUILDDIR=public/$VER_DIR
mv public/$VER_DIR/html/* public/$VER_DIR/
echo "**** make latexpdf ****"
# Build, optimize, and serve PDF
- make latexpdf BUILDDIR=public/$VER_DIR $1
+ make $@ latexpdf BUILDDIR=public/$VER_DIR
echo "**** pdfcpu ****"
if [ "x${CI_RUNNER_EXECUTABLE_ARCH}" == "xlinux/arm64" ] ; then
@@ -138,7 +138,7 @@ elif [ "$CI_COMMIT_TAG" != "" ]; then
export VER_DIR=$GIT_BRANCH
export PAGES_SLUG=$GIT_BRANCH
fi
- do_build -D todo_include_todos=False
+ do_build SPHINXOPTS="-D todo_include_todos=False"
else
echo "***** Not on a branch or tag *****"
fi
--
GitLab