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

/seL4-test-master/tools/seL4/cmake-tool/helpers/
H A Dmake-uimage21 _print () { function
28 _print "error: $*" >&2
37 _print "fatal error: $*" >&2
/seL4-test-master/
H A Dgriddle86 _print () { function
93 _print "${CYAN}debug: $*" >&2
98 _print "${GREEN}notice: $*" >&2
103 _print "${YELLOW}warning: $*" >&2
108 _print "${RED}error: $*" >&2
117 _print "${RED}fatal error: $*" >&2
/seL4-test-master/tools/seL4/cmake-tool/
H A Dgriddle86 _print () { function
93 _print "${CYAN}debug: $*" >&2
98 _print "${GREEN}notice: $*" >&2
103 _print "${YELLOW}warning: $*" >&2
108 _print "${RED}error: $*" >&2
117 _print "${RED}fatal error: $*" >&2

Completed in 144 milliseconds