use cd instead of pushd in setup.sh

8 years ago · 1471103daa
parent e92d01e562
commit 1471103daa
1 changed files with 3 additions and 3 deletions
--- a/setup.sh
+++ b/setup.sh
@ -29,9 +29,9 @@ fi
 # install decoders
 python -c "import swig_decoders"
 if [ $? != 0 ]; then
-    pushd decoders/swig > /dev/null
+    cd decoders/swig > /dev/null
    sh setup.sh
-    popd > /dev/null
+    cd - > /dev/null
 fi