summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNick Mathewson <nickm@torproject.org>2020-08-11 12:22:35 -0400
committerNick Mathewson <nickm@torproject.org>2020-08-11 12:22:35 -0400
commit9eb316de4295086d534a7576cc13606a42544c9f (patch)
treeb680c825307c2cba6323d223d1d157d18ea55295
parent6a91a50d32c6d3beaa059660881e0c338b147b1b (diff)
downloadtor-9eb316de4295086d534a7576cc13606a42544c9f.tar.gz
tor-9eb316de4295086d534a7576cc13606a42544c9f.zip
CI: Only run doxygen on 0.4.3 and later.
-rwxr-xr-xscripts/ci/ci-driver.sh25
1 files changed, 24 insertions, 1 deletions
diff --git a/scripts/ci/ci-driver.sh b/scripts/ci/ci-driver.sh
index a675335115..20193e6b2a 100755
--- a/scripts/ci/ci-driver.sh
+++ b/scripts/ci/ci-driver.sh
@@ -268,6 +268,29 @@ if [[ "${CHUTNEY}" = "yes" ]]; then
fi
#############################################################################
+# Determine the version of Tor.
+
+TOR_VERSION=$(grep -m 1 AC_INIT configure.ac | sed -e 's/.*\[//; s/\].*//;')
+
+# Use variables like these when we need to behave differently depending on
+# Tor version. Only create the variables we need.
+TOR_VER_AT_LEAST_043=no
+
+# These are the currently supported Tor versions; no need to work with anything
+# ancient in this script.
+case "$TOR_VERSION" in
+ 0.3.*)
+ TOR_VER_AT_LEAST_043=no
+ ;;
+ 0.4.[012].*)
+ TOR_VER_AT_LEAST_043=no
+ ;;
+ *)
+ TOR_VER_AT_LEAST_043=yes
+ ;;
+esac
+
+#############################################################################
# Make sure the directories are all there.
# Make sure CI_SRCDIR exists and has a file we expect.
@@ -362,7 +385,7 @@ fi
FAILED_TESTS=""
-if [[ "${DOXYGEN}" = 'yes' ]]; then
+if [[ "${DOXYGEN}" = 'yes' && "${TOR_VER_AT_LEAST_043}" = 'yes' ]]; then
start_section Doxygen
if runcmd make doxygen; then
hooray "make doxygen has succeeded."