X-Git-Url: http://research.m1stereo.tv/gitweb?a=blobdiff_plain;f=configure;h=c238296e5651f30173500e4f01517e86c6d7fa80;hb=96158c4afbd16cf1a488f1cabdb57e668374dc27;hp=0dc352f29ab8c296468747b4beefbde40e5afc7a;hpb=757e8d55530954c3002b71f78d5027a222e810f7;p=melted diff --git a/configure b/configure index 0dc352f..c238296 100755 --- a/configure +++ b/configure @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh function show_help { @@ -92,7 +92,7 @@ set +x export build_dir=`dirname $0` export prefix=/usr/local export help=0 -export version=0.0.3 +export version=0.1.1 export debug=true export mmx=true export gpl=false @@ -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