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