diff options
| author | Mans Rullgard <mans@mansr.com> | 2011-05-20 12:06:51 +0100 |
|---|---|---|
| committer | Mans Rullgard <mans@mansr.com> | 2011-05-20 13:50:52 +0100 |
| commit | eb8da636af0652a4865055c237a76caff02b98bf (patch) | |
| tree | 59dac420cfcf22ed2ff2b0126e3920d3b4da393f | |
| parent | 50fefa10de920e16036f2be977c39fc0c286d024 (diff) | |
| download | ffmpeg-eb8da636af0652a4865055c237a76caff02b98bf.tar.gz | |
fate: allow overriding default build and install dirs
This is useful e.g. for building in a different filesystem than
where the source is kept.
Signed-off-by: Mans Rullgard <mans@mansr.com>
| -rwxr-xr-x | tests/fate.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/fate.sh b/tests/fate.sh index 6f0e0fffcb..c522269b54 100755 --- a/tests/fate.sh +++ b/tests/fate.sh @@ -91,8 +91,8 @@ lock ${workdir} || die "${workdir} locked" cd ${workdir} || die "cd ${workdir} failed" src=${workdir}/src -build=${workdir}/build -inst=${workdir}/install +: ${build:=${workdir}/build} +: ${inst:=${workdir}/install} test -d "$src" && update || checkout || die "Error fetching source" |