-#!/bin/bash
+#!/bin/sh
function show_help
{
export build_dir=`dirname $0`
export prefix=/usr/local
export help=0
-export version=0.1.0
+export version=0.1.1
export debug=true
export mmx=true
export gpl=false
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