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