Revision cde2d79a

View differences:

configure
3 3
# ffmpeg configure script (c) 2000, 2001, 2002 Fabrice Bellard
4 4
#
5 5

  
6
# make sure we are running under a compatible shell
7
(: ${foo%%bar}) 2>/dev/null
8
if test "$?" != 0; then
9
    if test "x$FFMPEG_CONFIGURE_EXEC" = x; then
10
        FFMPEG_CONFIGURE_EXEC=1
11
        export FFMPEG_CONFIGURE_EXEC
12
        exec bash "$0" "$@"
13
        exec ksh "$0" "$@"
14
        exec /usr/xpg4/bin/sh "$0" "$@"
15
    fi
16
    echo "No compatible shell script interpreter found."
17
    exit 1
18
fi
19

  
6 20
show_help(){
7 21
  echo "Usage: configure [options]"
8 22
  echo "Options: [defaults in brackets after descriptions]"

Also available in: Unified diff