From ca019ac1351a57992786aea43b85bb1559c29a55 Mon Sep 17 00:00:00 2001
From: Dusty Mabe <dusty@dustymabe.com>
Date: Tue, 7 Apr 2020 16:31:22 -0400
Subject: [PATCH] Jenkinsfile: Let's call it GCP, not GCE

We seem to be in a transition from GCE to GCP terminology. Let's
update it here too.
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 54b188142..04d6acffc 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -384,7 +384,7 @@ lock(resource: "build-${params.STREAM}") {
                 """)
             }
 
-            stage('Build GCE') {
+            stage('Build GCP') {
                 utils.shwrap("""
                 cosa buildextend-gcp
                 """)