From 6a89bf746cbd0c9ea4b8047611f055f4e93134b2 Mon Sep 17 00:00:00 2001 From: Fabien Poussin Date: Sun, 6 Dec 2020 01:05:41 +0100 Subject: [PATCH] Update Jenkinsfile --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 81bc137f..dd20a872 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -11,10 +11,9 @@ pipeline { sh ''' echo $CH_BRANCH echo $CH_PATH - echo $CHC_PATH - exit 0 ''' + sh ''' arm-none-eabi-gcc -v @@ -104,5 +103,6 @@ pipeline { } environment { CH_BRANCH = 'stable_20.3.x' + CH_PATH = 'ChibiOS' } }