diff options
Diffstat (limited to 'scripts/ci')
| -rwxr-xr-x | scripts/ci/ci-driver.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/ci/ci-driver.sh b/scripts/ci/ci-driver.sh index eea98baae7..ef31da1ca3 100755 --- a/scripts/ci/ci-driver.sh +++ b/scripts/ci/ci-driver.sh @@ -301,6 +301,10 @@ case "$TOR_VERSION" in TOR_VER_AT_LEAST_043=yes TOR_VER_AT_LEAST_044=yes ;; + 0.4.7.*) + TOR_VER_AT_LEAST_043=yes + TOR_VER_AT_LEAST_044=yes + ;; esac ############################################################################# |