[CRIU] [PATCH] jenkins: build criu with debuginfo

[Andrey Vagin]

From: Andrew Vagin <avagin at virtuozzo.com>

Signed-off-by: Andrew Vagin <avagin at virtuozzo.com>
---
 test/jenkins/criu-lib.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test/jenkins/criu-lib.sh b/test/jenkins/criu-lib.sh
index 4ea37e0..f60f031 100644
--- a/test/jenkins/criu-lib.sh
+++ b/test/jenkins/criu-lib.sh
@@ -5,6 +5,7 @@ function prep()
 	echo 950000 > /sys/fs/cgroup/cpu,cpuacct/system/jenkins.service/cpu.rt_runtime_us || true
 
 	ulimit -c unlimited &&
+	export CFLAGS=-g
 	git clean -dfx &&
 	make -j 4 &&
 	make -j 4 -C test/zdtm/live &&
-- 
2.4.3