diff options
author | Jack Lloyd <[email protected]> | 2016-10-09 07:16:28 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2016-10-09 07:16:28 -0400 |
commit | ad5d17bad98d4681de7e7c7cdefd6f01a8bd38a1 (patch) | |
tree | 7b2f5f27d8e2bb368299ddf94e2ab77a614a15d5 /src | |
parent | b3bc28e4ed69daa7761f20b88104c445416f888a (diff) |
Shell is not my favorite language
Diffstat (limited to 'src')
-rwxr-xr-x | src/scripts/ci/travis/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/ci/travis/build.sh b/src/scripts/ci/travis/build.sh index 6825fbdfc..cf97e1fad 100755 --- a/src/scripts/ci/travis/build.sh +++ b/src/scripts/ci/travis/build.sh @@ -51,7 +51,7 @@ elif [ "${BUILD_MODE:0:5}" != "cross" ]; then # Avoid OpenSSL when using dynamic checkers... if [ "$BUILD_MODE" != "sanitizer" ] && [ "$BUILD_MODE" != "valgrind" ]; then - CFG_LFAGS+=(--with-openssl) + CFG_FLAGS+=(--with-openssl) fi fi |