X-Git-Url: http://research.m1stereo.tv/gitweb?a=blobdiff_plain;f=configure;h=c238296e5651f30173500e4f01517e86c6d7fa80;hb=96158c4afbd16cf1a488f1cabdb57e668374dc27;hp=a5f03123b9b19127abafe605e53b966375d4dbb1;hpb=49df6db34095251b3acf611b5622b2a5da33e7e4;p=melted

diff --git a/configure b/configure
index a5f0312..c238296 100755
--- a/configure
+++ b/configure
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 function show_help
 {
@@ -120,10 +120,11 @@ do
 	if [ -x src/$i/configure ]
 	then
 		[ $help = 0 ] && echo "Configuring `basename $i`:"
-		pushd src/$i > /dev/null
+		olddir=`pwd`
+		cd src/$i
 		./configure "$@"
 		[ $? != 0 ] && exit 1
-		popd > /dev/null
+		cd $olddir
 	fi
 done