diff options
Diffstat (limited to 'scripts/zuul/script.sh')
| -rwxr-xr-x | scripts/zuul/script.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/scripts/zuul/script.sh b/scripts/zuul/script.sh index 7075e1aa7..121dea74b 100755 --- a/scripts/zuul/script.sh +++ b/scripts/zuul/script.sh @@ -58,12 +58,6 @@ if [ "$T" = "debug" ]; then fi fi -if [ "$T" = "debug-mesalink" ]; then - ./configure --enable-debug --enable-werror $C - make - make "TFLAGS=-n !313 !410 !3001" test-nonflaky -fi - if [ "$T" = "debug-bearssl" ]; then ./configure --enable-debug --enable-werror $C make |