CI: Turn compiler warnings into errors on Debian 10. Fixes #120

merge-requests/213/head
Olaf Meeuwissen 2019-12-30 15:48:56 +09:00
rodzic 75310001f1
commit adaef0435a
1 zmienionych plików z 2 dodań i 2 usunięć

Wyświetl plik

@ -52,7 +52,7 @@ debian-10-mini:
image: $REGISTRY_HUB:debian-buster-mini image: $REGISTRY_HUB:debian-buster-mini
variables: variables:
CONFIGURE_OPTS: "$CONFIGURE_MINI" CONFIGURE_OPTS: "$CONFIGURE_MINI"
#MAKE_FLAGS: "CFLAGS=-Werror" MAKE_FLAGS: "CFLAGS=-Werror"
<<: *compile_definition <<: *compile_definition
# In addition to the regular compile check, the full Debian stable # In addition to the regular compile check, the full Debian stable
@ -63,7 +63,7 @@ debian-10-full:
image: $REGISTRY_HUB:debian-buster-full image: $REGISTRY_HUB:debian-buster-full
variables: variables:
CONFIGURE_OPTS: "$CONFIGURE_MINI $CONFIGURE_FULL" CONFIGURE_OPTS: "$CONFIGURE_MINI $CONFIGURE_FULL"
#MAKE_FLAGS: "CFLAGS=-Werror CXXFLAGS=-Werror" MAKE_FLAGS: "CFLAGS=-Werror CXXFLAGS=-Werror"
<<: *compile_definition <<: *compile_definition
after_script: after_script:
- make -C build/doc html-pages - make -C build/doc html-pages