Searched refs:console_print (Results 1 – 2 of 2) sorted by relevance
202 typeset console_print=$2234 if [ "$console_print" = "true" ]; then253 if [ $failures -eq 0 -a "$console_print" = "true" ]; then
436 console_print(457 console_print(NULL); \492 console_print(536 console_print(NULL); \