diff options
-rw-r--r-- | tools/travis/script.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/travis/script.sh b/tools/travis/script.sh index b96427d..8b53ff7 100644 --- a/tools/travis/script.sh +++ b/tools/travis/script.sh @@ -4,9 +4,9 @@ set -ex export PATH=/tmp/gcc-arm-none-eabi-4_9-2015q3/bin:$PATH -pushd ../ChibiOS-RT/ext +cd ../ChibiOS-RT/ext 7z e lwip-2.0.3-patched.7z -popd +cd - git checkout -- . git clean -xfd |