diff options
author | Måns Rullgård <mans@mansr.com> | 2006-07-04 22:33:03 +0000 |
---|---|---|
committer | Måns Rullgård <mans@mansr.com> | 2006-07-04 22:33:03 +0000 |
commit | cde2d79afd22e1b3135abccce6c68698a13be68e (patch) | |
tree | ee5b0fc420993e1a9915446882a3b3b972035f46 | |
parent | 109d2de10857e07c5e646e98d93a96a2153d278e (diff) | |
download | ffmpeg-cde2d79afd22e1b3135abccce6c68698a13be68e.tar.gz |
Try to find a better shell if the one configure was started under is
broken. Solaris /bin/sh is broken.
Originally committed as revision 5616 to svn://svn.ffmpeg.org/ffmpeg/trunk
-rwxr-xr-x | configure | 14 |
1 files changed, 14 insertions, 0 deletions
@@ -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]" |