Ticket #715: configure.diff

File configure.diff, 1.5 KB (added by codon1@…, 20 years ago)

diff on configure

  • configure

     
    1515    type "$1" >/dev/null 2>&1 && exec "$@"
    1616}
    1717
    18 unset foo
    19 (: ${foo%%bar}) 2>/dev/null
    20 E1="$?"
    21 
    22 (: ${foo?}) 2>/dev/null
    23 E2="$?"
    24 
    25 if test "$E1" != 0 || test "$E2" = 0; then
    26     echo "Broken shell detected.  Trying alternatives."
    27     export FF_CONF_EXEC
    28     if test "0$FF_CONF_EXEC" -lt 1; then
    29         FF_CONF_EXEC=1
    30         try_exec bash "$0" "$@"
    31     fi
    32     if test "0$FF_CONF_EXEC" -lt 2; then
    33         FF_CONF_EXEC=2
    34         try_exec ksh "$0" "$@"
    35     fi
    36     if test "0$FF_CONF_EXEC" -lt 3; then
    37         FF_CONF_EXEC=3
    38         try_exec /usr/xpg4/bin/sh "$0" "$@"
    39     fi
    40     echo "No compatible shell script interpreter found."
    41     echo "This configure script requires a POSIX-compatible shell"
    42     echo "such as bash or ksh."
    43     echo "THIS IS NOT A BUG IN FFMPEG, DO NOT REPORT IT AS SUCH."
    44     echo "Instead, install a working POSIX-compatible shell."
    45     echo "Disabling this configure test will create a broken FFmpeg."
    46     if test "$BASH_VERSION" = '2.04.0(1)-release'; then
    47         echo "This bash version ($BASH_VERSION) is broken on your platform."
    48         echo "Upgrade to a later version if available."
    49     fi
    50     exit 1
    51 fi
    52 
    5318show_help(){
    5419  echo "Usage: configure [options]"
    5520  echo "Options: [defaults in brackets after descriptions]"