diff options
author | marcoveeneman <marco-veeneman@hotmail.com> | 2018-03-14 07:31:08 +0100 |
---|---|---|
committer | marcoveeneman <marco-veeneman@hotmail.com> | 2018-03-14 07:31:08 +0100 |
commit | cb7a4d2a2c63a86a28a95a42497933a88e771f29 (patch) | |
tree | 0ac6fd88851d1225a2e70d10e1c88cdb3023d705 /tools | |
parent | d3565866ef823f9d80d7703ee66b9c896286e56a (diff) | |
download | ChibiOS-Contrib-cb7a4d2a2c63a86a28a95a42497933a88e771f29.tar.gz ChibiOS-Contrib-cb7a4d2a2c63a86a28a95a42497933a88e771f29.tar.bz2 ChibiOS-Contrib-cb7a4d2a2c63a86a28a95a42497933a88e771f29.zip |
Fixed pushd popd
Diffstat (limited to 'tools')
-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 |