Symbol: Badline
usr/src/cmd/autopush/autopush.c
532
(void) fprintf(stderr, Badline, Cmdp, namep, lineno);
usr/src/cmd/autopush/autopush.c
538
(void) fprintf(stderr, Badline, Cmdp, namep, lineno);
usr/src/cmd/autopush/autopush.c
552
(void) fprintf(stderr, Badline, Cmdp, namep, lineno);
usr/src/cmd/autopush/autopush.c
565
(void) fprintf(stderr, Badline, Cmdp, namep, lineno);