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

/seL4-refos-master/kernel/manual/
H A DMakefile286 read rebuild_refs; \
288 if [ "$$rebuild_refs" == "yes" ] || [ \! -e references.bib ]; then \

Completed in 23 milliseconds