diff options
Diffstat (limited to 'scripts/travis/script.sh')
-rwxr-xr-x | scripts/travis/script.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/travis/script.sh b/scripts/travis/script.sh index a824c1b1e..f2286850d 100755 --- a/scripts/travis/script.sh +++ b/scripts/travis/script.sh @@ -76,6 +76,12 @@ if [ "$T" = "debug-rustls" ]; then make "TFLAGS=HTTPS !313" test-nonflaky fi +if [ "$T" = "debug-bearssl" ]; then + ./configure --enable-debug --enable-werror $C + make + make "TFLAGS=-n !313" test-nonflaky +fi + if [ "$T" = "novalgrind" ]; then ./configure --enable-werror $C make |