From f5286e124357a1a0febe9fd28961d52d7b20505d Mon Sep 17 00:00:00 2001 From: Alexander Todorov Date: Wed, 6 Mar 2019 13:59:17 +0200 Subject: [PATCH] Use make ci inside test-in-copy target this minimizes the possibility of these two to diverge over time. make ci is the default for Jenkins and will also be used for internal gating tests. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index fe44ed87..5805c4be 100644 --- a/Makefile +++ b/Makefile @@ -107,7 +107,7 @@ local: test-in-copy: rsync -aP --exclude=.git /lorax-ro/ /lorax/ - make -C /lorax/ check test + make -C /lorax/ ci cp /lorax/.coverage /test-results/ test-in-docker: