diff options
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 14f0547..c95b0eb 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -20,6 +20,12 @@ pipeline { sh './ctor check' } } + stage('Test-suite-gcc') { + steps { + echo 'Testing suite (gcc) ...' + sh '(cd test/suite; CTORDIR=../../build-gcc CXX=g++ ./test.sh)' + } + } stage('Build-clang') { steps { echo 'Building (clang) ...' @@ -32,6 +38,12 @@ pipeline { sh './ctor check' } } + stage('Test-suite-clang') { + steps { + echo 'Testing suite (clang) ...' + sh '(cd test/suite; CTORDIR=../../build-clang CXX=clang++ ./test.sh)' + } + } } post { |