diff options
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9189427d..0d0d9a6b 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml | |||
| @@ -64,7 +64,6 @@ Sanitizers/Stretch: | |||
| 64 | - export UBSAN_OPTIONS=print_stacktrace=1 | 64 | - export UBSAN_OPTIONS=print_stacktrace=1 |
| 65 | - export ASAN_SYMBOLIZER_PATH=/usr/lib/llvm-3.8/bin/llvm-symbolizer | 65 | - export ASAN_SYMBOLIZER_PATH=/usr/lib/llvm-3.8/bin/llvm-symbolizer |
| 66 | - ./configure $CONFIGURE_BASE_FLAGS --disable-doc | 66 | - ./configure $CONFIGURE_BASE_FLAGS --disable-doc |
| 67 | - make -j$(nproc) check | ||
| 68 | - make check | 67 | - make check |
| 69 | - make -j$(nproc) distcheck | 68 | - make -j$(nproc) distcheck |
| 70 | tags: | 69 | tags: |