|
@@ -134,7 +134,7 @@ install:
|
|
|
script:
|
|
|
- ./autogen.sh
|
|
|
- CONFIGURE_FLAGS="$ASCIIDOC_OPTIONS $COVERAGE_OPTIONS $HARDENING_OPTIONS $OPENSSL_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
|