diff options
| -rw-r--r-- | Jenkinsfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index aad3052..3e04aeb 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -32,11 +32,11 @@ pipeline { echo 'Cleaning workspace ...' sh 'git clean -d -x -f' echo 'Building (gcc) ...' - sh 'CXXFLAGS=-Werror CXX=g++ ./bootstrap.sh' + sh 'CXXFLAGS="-Werror -Wno-maybe-uninitialized" CXX=g++ ./bootstrap.sh' echo 'Testing (gcc) ...' sh './ctor check' echo 'Testing suite (gcc) ...' - sh '(cd test/suite; g++ -std=c++20 test.cc -o test && CTORDIR=../../build CXXFLAGS=-Werror CXX=g++ ./test)' + sh '(cd test/suite; g++ -std=c++20 test.cc -o test && CTORDIR=../../build CXXFLAGS="-Werror -Wno-maybe-uninitialized" CXX=g++ ./test)' } post { always { |