Fixed pushd popd

This commit is contained in:
marcoveeneman 2018-03-14 07:31:08 +01:00
parent d3565866ef
commit cb7a4d2a2c
1 changed files with 2 additions and 2 deletions

View File

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