print_rtcmd_short
print_rtcmd_short(stdout, thisrt, B_FALSE, B_TRUE);
print_rtcmd_short(stderr, rt, B_FALSE, B_TRUE);
print_rtcmd_short(stdout, rt, B_FALSE, B_TRUE);
print_rtcmd_short(stderr, rt, B_FALSE, B_TRUE);
print_rtcmd_short(stdout, rt, B_FALSE, B_TRUE);
print_rtcmd_short(stdout, newrt, (ret == 0), B_FALSE);
static void print_rtcmd_short(FILE *to, rtcmd_irep_t *rcip,