Searched defs:awk (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/design/
H A DMakefile38 awk = awk macro
/seL4-refos-master/kernel/manual/
H A DMakefile36 awk = awk macro

Completed in 32 milliseconds