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

/seL4-refos-master/projects/refos/design/
H A DMakefile139 Undefined = '((Reference|Citation).*undefined)|(Label.*multiply defined)' macro
151 @echo "====> Undefined references and citations:"
152 @egrep -i $(Undefined) $*.log || echo "None."
/seL4-refos-master/kernel/manual/
H A DMakefile269 Undefined = '((Reference|Citation).*undefined)|(Label.*multiply defined)' macro
303 @echo "====> Undefined references and citations in $(<):"
304 ${Q}egrep -i $(Undefined) $*.log || echo "None."

Completed in 29 milliseconds