show_help_time_last_displayed  100 orte/util/show_help.c static time_t show_help_time_last_displayed = 0;
show_help_time_last_displayed  381 orte/util/show_help.c     show_help_time_last_displayed = now;
show_help_time_last_displayed  436 orte/util/show_help.c         if (now > show_help_time_last_displayed + 5 && !show_help_timer_set) {
show_help_time_last_displayed  457 orte/util/show_help.c             show_help_time_last_displayed = now;