helping jenkins

2021-05-16 08:51:36 -04:00 · 2021-05-16 08:51:36 -04:00 · de7df850ca
parent 54eeac2c10
commit de7df850ca
1 changed files with 2 additions and 0 deletions
--- 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