From c222d86680d361719070ed00ac25585829992874 Mon Sep 17 00:00:00 2001
From: Jason Swails <jason.swails@gmail.com>
Date: Tue, 10 Sep 2019 10:45:57 -0400
Subject: [PATCH] Do not make PGI builds fatal

---
 Jenkinsfile | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 9c29941ef9..995d6d8377 100644
--- 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") {