Searched refs:sc_cmd_filename (Results 1 – 3 of 3) sorted by relevance
115 est->sc_cmd_filename, est->sc_cmd_lineno - 1); in vmessage()
338 const char *sc_cmd_filename; member
402 est->sc_cmd_filename = "<stdin>"; in engine_source()405 est->sc_cmd_filename = name; in engine_source()