]> git.ipfire.org Git - thirdparty/tor.git/commitdiff
Add a few more options for the CI script.
authorNick Mathewson <nickm@torproject.org>
Mon, 21 Sep 2020 13:20:40 +0000 (09:20 -0400)
committerNick Mathewson <nickm@torproject.org>
Mon, 21 Sep 2020 16:58:49 +0000 (12:58 -0400)
These are:
  --disable-module-relay
  --disable-module-dirauth
  --enable-all-bugs-are-fatal
  --enable-nss

scripts/ci/ci-driver.sh

index cd91a91bbf57c883293adfc5842192dd13d25c1a..67a95a1f6115d89843cb3851a7e569fb77ff149c 100755 (executable)
@@ -34,6 +34,10 @@ RUST="${RUST:-no}"
 DOXYGEN="${DOXYGEN:-no}"
 ASCIIDOC="${ASCIIDOC:-no}"
 TRACING="${TRACING:-no}"
+ALL_BUGS_ARE_FATAL="${ALL_BUGS_ARE_FATAL:-no}"
+DISABLE_DIRAUTH="${DISABLE_DIRAUTH:-no}"
+DISABLE_RELAY="${DISABLE_RELAY:-no}"
+NSS="${NSS:-no}"
 
 # Options for which tests to run.   All should be yes/no.
 CHECK="${CHECK:-yes}"
@@ -193,6 +197,10 @@ yes_or_no RUST
 yes_or_no DOXYGEN
 yes_or_no ASCIIDOC
 yes_or_no TRACING
+yes_or_no ALL_BUGS_ARE_FATAL
+yes_or_no DISABLE_DIRAUTH
+yes_or_no DISABLE_RELAY
+yes_or_no NSS
 
 yes_or_no RUN_STAGE_CONFIGURE
 yes_or_no RUN_STAGE_BUILD
@@ -246,6 +254,18 @@ fi
 if [[ "$TRACING" == "yes" ]]; then
     configure_options+=("--enable-tracing-instrumentation-lttng")
 fi
+if [[ "$ALL_BUGS_ARE_FATAL" == "yes" ]]; then
+    configure_options+=("--enable-all-bugs-are-fatal")
+fi
+if [[ "$DISABLE_DIRAUTH" == "yes" ]]; then
+    configure_options+=("--disable-module-dirauth")
+fi
+if [[ "$DISABLE_RELAY" == "yes" ]]; then
+    configure_options+=("--disable-module-relay")
+fi
+if [[ "$NSS" == "yes" ]]; then
+    configure_options+=("--enable-nss")
+fi
 
 #############################################################################
 # Tell the user about our versions of different tools and packages.