From de7df850ca09cb1b332b77dd5efa1b445bd60e92 Mon Sep 17 00:00:00 2001 From: rusefillc Date: Sun, 16 May 2021 08:51:36 -0400 Subject: [PATCH] helping jenkins --- misc/jenkins/unit_tests/unit_tests.bat | 2 ++ 1 file changed, 2 insertions(+) diff --git a/misc/jenkins/unit_tests/unit_tests.bat b/misc/jenkins/unit_tests/unit_tests.bat index 8906c99c1b..7bbecabd17 100644 --- a/misc/jenkins/unit_tests/unit_tests.bat +++ b/misc/jenkins/unit_tests/unit_tests.bat @@ -20,6 +20,8 @@ echo We are in root folder pwd cd unit_tests +rem Clean build is needed since some file renames would produce a broken incremental build +make clean rem Only here we are building unit_tests call compile.bat