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