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>

diff --git a/tests/fate.sh b/tests/fate.sh
index 6f0e0fffcb4102fdefd324d64a660b3219fc7856..c522269b5449502a260535117a90e95efaf0b3f6 100755 (executable)
--- 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"