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

/seL4-refos-master/projects/refos/design/
H A DMakefile138 Rerun_Bib = 'No file.*\.bbl|Citation.*undefined' macro
147 @if egrep -q $(Rerun_Bib) $*.log ; then echo "====> BibTex" && $(BibTeX) $* && echo "====> LaTeX BibTeX pass" && $(LaTeX) >.log $< ; fi
/seL4-refos-master/kernel/manual/
H A DMakefile268 Rerun_Bib = 'No file.*\.bbl|Citation.*undefined' macro
299 ${Q}if egrep -q $(Rerun_Bib) $*.log ; then echo "====> BibTex" && $(BibTeX) $* > /dev/null && echo "====> LaTeX BibTeX pass" && $(LaTeX) >.log $< ; fi

Completed in 28 milliseconds