Do not make PGI builds fatal (#752)

swails · drroe · commit c38a771bb077 · 2019-09-10T14:04:15.000-04:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -66,9 +66,15 @@ pipeline {
                     }
 
                     steps {
-                        sh "./configure --with-netcdf --with-fftw3 pgi"
-                        sh "make -j6 install"
-                        sh "make check"
+                        script {
+                            try {
+                                sh "./configure --with-netcdf --with-fftw3 pgi"
+                                sh "make -j6 install"
+                                sh "make check"
+                            } catch (error) {
+                                echo "PGI BUILD AND/OR TEST FAILED"
+                            }
+                        }
                     }
                 }
                 stage("Linux GNU parallel build") {

Original file line number	Diff line number	Diff line change
`@@ -66,9 +66,15 @@ pipeline {`
`66`	`66`	`}`
`67`	`67`
`68`	`68`	`steps {`
`69`		`- sh "./configure --with-netcdf --with-fftw3 pgi"`
`70`		`- sh "make -j6 install"`
`71`		`- sh "make check"`
	`69`	`+ script {`
	`70`	`+ try {`
	`71`	`+ sh "./configure --with-netcdf --with-fftw3 pgi"`
	`72`	`+ sh "make -j6 install"`
	`73`	`+ sh "make check"`
	`74`	`+ } catch (error) {`
	`75`	`+ echo "PGI BUILD AND/OR TEST FAILED"`
	`76`	`+ }`
	`77`	`+ }`
`72`	`78`	`}`
`73`	`79`	`}`
`74`	`80`	`stage("Linux GNU parallel build") {`