[vlc-devel] [PATCH 2/2] pushd and popd does not exist un sh

[Thomas Clavier]

---
 compile.sh |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/compile.sh b/compile.sh
index 79f5d9d..3626a7e 100755
--- a/compile.sh
+++ b/compile.sh
@@ -44,9 +44,9 @@ if [ ! -d "vlc" ]; then
     git clone git://git.videolan.org/vlc/vlc-2.0.git vlc
 else
     echo "VLC source found, pulling from remote master"
-    pushd vlc > /dev/null
+    cd vlc 
     git pull origin master
-    popd > /dev/null
+    cd -
 fi
 
 echo "Applying the patches"
-- 
1.7.9.1