diff options
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 1fe1b83..8304e12 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -21,6 +21,10 @@ echo $CHC_PATH''' } } + environment { + CH_PATH = '$WORKSPACE/ChibiOS' + CHC_PATH = '$WORKSPACE' + } steps { sh '''arm-none-eabi-gcc -v @@ -36,7 +40,5 @@ for i in *.7z; do 7z x -y $i; done''' } environment { CH_BRANCH = 'stable_18.2.x' - CH_PATH = '$WORKSPACE/ChibiOS' - CHC_PATH = '$WORKSPACE' } }
\ No newline at end of file |