Searched refs:Rerun (Results 1 - 1 of 1) sorted by relevance

/seL4-mcs-10.1.1/manual/
H A DMakefile264 Rerun = '(There were undefined references|Rerun to get (cross-references|the bars) right)' macro
297 ${Q}if egrep -q $(Rerun) $*.log ; then echo "====> LaTeX rerun" && $(LaTeX) >.log $<; fi
298 ${Q}if egrep -q $(Rerun) $*.log ; then echo "====> LaTeX rerun" && $(LaTeX) >.log $<; fi
299 ${Q}if egrep -q $(Rerun) $*.log ; then echo "====> LaTeX rerun" && $(LaTeX) >.log $<; fi

Completed in 47 milliseconds