diff options
author | Michael Niedermayer <michaelni@gmx.at> | 2012-01-30 01:57:33 +0100 |
---|---|---|
committer | Michael Niedermayer <michaelni@gmx.at> | 2012-01-30 20:35:09 +0100 |
commit | d2a47c947363e1b56450b6a66c7bc15c58c1f4a9 (patch) | |
tree | 607e3acbd0b289dc23fa346ff4dcc533d3ed01ef /tests/fate.sh | |
parent | 2ab5feafe17edd8f8483c4e461100e0d4cf63e8e (diff) | |
download | ffmpeg-d2a47c947363e1b56450b6a66c7bc15c58c1f4a9.tar.gz |
fate: add support for specifying the shell used to run configure
Reviewed-by: Paul B Mahol <onemda@gmail.com>
Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
Diffstat (limited to 'tests/fate.sh')
-rwxr-xr-x | tests/fate.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/fate.sh b/tests/fate.sh index e04c8710d7..a7b15cd1b0 100755 --- a/tests/fate.sh +++ b/tests/fate.sh @@ -41,7 +41,7 @@ update()( configure()( cd ${build} || return - ${src}/configure \ + ${shell} ${src}/configure \ --prefix="${inst}" \ --samples="${samples}" \ --enable-gpl \ |