[CRIU] [PATCH] jenkins: build a coverage report if GCOV is set

[Pavel Emelyanov]

On 03/24/2016 07:26 PM, Andrey Vagin wrote:
> From: Andrew Vagin <avagin at virtuozzo.com>

Some explanation would be nice.
Isn't it built now? How has it happened? I thought Sergey made these ... jenkinsjobs?
No?

> Signed-off-by: Andrew Vagin <avagin at virtuozzo.com>
> ---
>  test/jenkins/criu-lib.sh | 8 +++++++-
>  1 file changed, 7 insertions(+), 1 deletion(-)
> 
> diff --git a/test/jenkins/criu-lib.sh b/test/jenkins/criu-lib.sh
> index 14ae9f3..60777dd 100644
> --- a/test/jenkins/criu-lib.sh
> +++ b/test/jenkins/criu-lib.sh
> @@ -1,3 +1,9 @@
> +function exit_hook()
> +{
> +	test -z "$GCOV" && return
> +	make gcov
> +}
> +
>  function prep()
>  {
>  	# systemd executes jenkins in a separate sched cgroup.
> @@ -11,7 +17,7 @@ function prep()
>  	make -j 4 -C test/zdtm/ &&
>  	make -C test zdtm_ct &&
>  	mkdir -p test/report &&
> -	true
> +	trap exit_hook EXIT
>  }
>  
>  function mount_tmpfs_to_dump()
>