Update Jenkinsfile

This commit is contained in:
Fabien Poussin 2020-12-06 01:05:41 +01:00 committed by GitHub
parent 0e5d8240a5
commit 6a89bf746c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

4
Jenkinsfile vendored
View File

@ -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'
}
}