Searched refs:wbku_pname (Results 1 – 1 of 1) sorted by relevance
47 static const char *wbku_pname = NULL; variable66 wbku_pname = strrchr(arg0, '/'); in wbku_errinit()68 if (wbku_pname == NULL) in wbku_errinit()69 wbku_pname = arg0; in wbku_errinit()71 wbku_pname++; in wbku_errinit()85 if (wbku_pname != NULL) in wbku_printerr()86 (void) fprintf(stderr, "%s: ", wbku_pname); in wbku_printerr()