diff --git a/Jenkinsfile b/Jenkinsfile
index 726508c..63562eb 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -53,7 +53,7 @@ pipeline {
                 axes {
                     axis{
                         name 'BOARD'
-                        values 'iss', 'hifive1', 'TGC5L', 'ehrenberg', 'rtl', 'tgc-vp'
+                        values 'iss', 'hifive1', 'TGCP', 'ehrenberg', 'rtl', 'tgc-vp'
                     }
                 }
                 stages {