MNT #720 one more instance

nexusformat · Jan 23, 2020 · f755da7 · f755da7
1 parent dffa40e
commit f755da7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/jenkins_build b/jenkins_build
@@ -14,7 +14,7 @@ make builddir
 cd build
 make
 
-( cd ../impatient-guide && rm -rf _build && make latexpdf && make html )
+( cd ../impatient-guide && rm -rf _build && make latexpdf LATEXOPTS="--interaction=nonstopmode" && make html )
 
 # publish
 if test "${job_name}" = "master branch"; then