Searched refs:print_skipped (Results 1 – 2 of 2) sorted by relevance
34 print_skipped=137 print_skipped=140 print_skipped=076 [ ${print_skipped} -eq 1 ] && echo "Skipping ${board_cfg}"
29 static bool quiet, print_skipped; variable142 print_skipped = true; in main()164 if (print_skipped) { in main()