diff --git a/doc/fate_config.sh.template b/doc/fate_config.sh.template index ab1bda45e4..06bb79a832 100644 --- a/doc/fate_config.sh.template +++ b/doc/fate_config.sh.template @@ -31,3 +31,5 @@ makeopts= # extra options passed to 'make' # defaulting to makeopts above if this is not set #tar= # command to create a tar archive from its arguments on stdout, # defaults to 'tar c' +#fate_targets= # targets to make when running fate; defaults to "fate", + # can be set to run a subset of tests, e.g. "fate-checkasm". diff --git a/tests/fate.sh b/tests/fate.sh index fc604559cc..1a40322ae9 100755 --- a/tests/fate.sh +++ b/tests/fate.sh @@ -75,7 +75,7 @@ compile()( fate()( test "$build_only" = "yes" && return cd ${build} || return - ${make} ${makeopts_fate-${makeopts}} -k fate + ${make} ${makeopts_fate-${makeopts}} -k ${fate_targets} ) clean(){ @@ -103,6 +103,7 @@ cd ${workdir} || die "cd ${workdir} failed" src=${workdir}/src : ${build:=${workdir}/build} : ${inst:=${workdir}/install} +: ${fate_targets:=fate} test -d "$src" && update || checkout || die "Error fetching source"