Home
last modified time | relevance | path

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

/seL4-master/manual/
A DMakefile267 Rerun = '(There were undefined references|Rerun to get (cross-references|the bars) right)' macro
300 ${Q}if egrep -q $(Rerun) $*.log ; then echo "====> LaTeX rerun" && $(LaTeX) >.log $<; fi
301 ${Q}if egrep -q $(Rerun) $*.log ; then echo "====> LaTeX rerun" && $(LaTeX) >.log $<; fi
302 ${Q}if egrep -q $(Rerun) $*.log ; then echo "====> LaTeX rerun" && $(LaTeX) >.log $<; fi

Completed in 3 milliseconds