diff --git a/configure b/configure index 70d3853e2c3fc8edc5f37c6c14050d670c651c81..bf58d688d5caa7f85e1361677af6882a6e3dac5a 100755 --- a/configure +++ b/configure @@ -3,6 +3,20 @@ # ffmpeg configure script (c) 2000, 2001, 2002 Fabrice Bellard # +# make sure we are running under a compatible shell +(: ${foo%%bar}) 2>/dev/null +if test "$?" != 0; then + if test "x$FFMPEG_CONFIGURE_EXEC" = x; then + FFMPEG_CONFIGURE_EXEC=1 + export FFMPEG_CONFIGURE_EXEC + exec bash "$0" "$@" + exec ksh "$0" "$@" + exec /usr/xpg4/bin/sh "$0" "$@" + fi + echo "No compatible shell script interpreter found." + exit 1 +fi + show_help(){ echo "Usage: configure [options]" echo "Options: [defaults in brackets after descriptions]"