From 59f8ba912147997c8e6738433691f2add32e583f Mon Sep 17 00:00:00 2001
From: Johannes 'fish' Ziemke <github@freigeist.org>
Date: Tue, 19 Mar 2013 15:51:05 +0100
Subject: [PATCH] Replace popd/pushd because travis' /bin/sh doesn't support
 it.

---
 utility/embed-static.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/utility/embed-static.sh b/utility/embed-static.sh
index 0cf0fcb86..ec91dc9e3 100755
--- a/utility/embed-static.sh
+++ b/utility/embed-static.sh
@@ -10,10 +10,10 @@ cat <<EOF > $type_file
 var types = map [string] map [string] string {
 EOF
 
-
+CDIR=`pwd`
 for dir in $@
 do
-  pushd "$dir" > /dev/null
+  cd "$dir"
   echo -e "\t\"`basename $dir`\": {"
   echo -e "\t\"`basename $dir`\": {" >> $type_file
 
@@ -30,7 +30,7 @@ do
   done
   echo -e "\t}," >> $type_file
   echo -e "\t},"
-  popd > /dev/null
+  cd $CDIR
 done
 echo '}'
 cat $type_file