From ed5a0bdc3c559ffd80b56fa794a6a929333dd094 Mon Sep 17 00:00:00 2001
From: Mike Ellery <mellery451@gmail.com>
Date: Mon, 30 Jul 2018 10:56:01 -0700
Subject: [PATCH] Correct werr flag for jenkins build

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 5bc0168207..0ecbd1ee41 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -173,7 +173,7 @@ try {
                 'BUILD=cmake',
                 "MAX_TIME=${max_minutes}m",
                 "BUILD_DIR=${bldlabel}",
-                "CMAKE_EXTRA_ARGS=-Werr=ON ${cmake_extra}",
+                "CMAKE_EXTRA_ARGS=-Dwerr=ON ${cmake_extra}",
                 'VERBOSE_BUILD=true']
 
             builds[bldlabel] = {