diff options
author | Nick Mathewson <nickm@torproject.org> | 2018-09-05 10:15:45 -0400 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2018-09-05 10:15:45 -0400 |
commit | a7e72f0c44f42145ff39c1ef77fb131c25569732 (patch) | |
tree | ef6ca5abbc0901f844cea6ab1f0b56711842d879 /.travis.yml | |
parent | 67bdd144bd0bc3d6f063ae8b21c67e3f1cb1fbca (diff) | |
parent | 57b207efa42e0a2794457cc7aff9c662d9000b44 (diff) | |
download | tor-a7e72f0c44f42145ff39c1ef77fb131c25569732.tar.gz tor-a7e72f0c44f42145ff39c1ef77fb131c25569732.zip |
Merge branch 'maint-0.3.2' into maint-0.3.3
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 4969dc005b..2368a38d01 100644 --- a/.travis.yml +++ b/.travis.yml @@ -169,7 +169,7 @@ install: script: - ./autogen.sh - CONFIGURE_FLAGS="$ASCIIDOC_OPTIONS $COVERAGE_OPTIONS $HARDENING_OPTIONS $OPENSSL_OPTIONS $RUST_OPTIONS --enable-fatal-warnings --disable-silent-rules" - - echo $CONFIGURE_FLAGS + - echo "Configure flags are $CONFIGURE_FLAGS" - ./configure $CONFIGURE_FLAGS ## We run `make check` because that's what https://jenkins.torproject.org does. - if [[ "$DISTCHECK" == "" ]]; then make check; fi |