Debug

stan-dev · Sep 12, 2023 · 602d348 · 602d348
1 parent 2e9abb7
commit 602d348
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -54,7 +54,7 @@ def checkCompilation(String testsPath, String stancFlags = ""){
         echo 'O=0' >> make/local
         echo 'CXXFLAGS+=-Wall' >> make/local
         make -j${env.PARALLEL} build; cd ..
-        python ./checkCompilation.py -j${env.PARALLEL} --syntax-only ${testsPath}
+        python ./checkCompilation.py -j${env.PARALLEL} ${testsPath}
     """
 }