diff --git a/jenkins_build b/jenkins_build index d7a271ac4..7a9b397ae 100755 --- a/jenkins_build +++ b/jenkins_build @@ -39,7 +39,7 @@ if test "${job_name}" = "master branch"; then # next, build the PDF # extra option needed to satisfy "levels nested too deeply" error # expect it to fail (thus exit 0) since nexus.ind not found first time - pdflatex --interaction=nonstopmode nexus.tex || exit 0 + ( pdflatex --interaction=nonstopmode nexus.tex || exit 0 ) # run again with fresh nexus.ind pdflatex --interaction=nonstopmode nexus.tex cd ..