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