diff --git a/.cproject b/.cproject index c3285932f..4dc49b994 100644 --- a/.cproject +++ b/.cproject @@ -2855,6 +2855,14 @@ true true + + make + -j4 + testSymbolicConditional.run + true + true + true + make -j2