widl: Removed unused idfile_token.
This commit is contained in:
parent
b93c3905b0
commit
af2eba24b7
|
@ -128,7 +128,6 @@ char *server_token;
|
||||||
char *regscript_name;
|
char *regscript_name;
|
||||||
char *regscript_token;
|
char *regscript_token;
|
||||||
static char *idfile_name;
|
static char *idfile_name;
|
||||||
static char *idfile_token;
|
|
||||||
char *temp_name;
|
char *temp_name;
|
||||||
const char *prefix_client = "";
|
const char *prefix_client = "";
|
||||||
const char *prefix_server = "";
|
const char *prefix_server = "";
|
||||||
|
@ -465,8 +464,6 @@ void write_id_data(const statement_list_t *stmts)
|
||||||
{
|
{
|
||||||
if (!do_idfile) return;
|
if (!do_idfile) return;
|
||||||
|
|
||||||
idfile_token = make_token(idfile_name);
|
|
||||||
|
|
||||||
idfile = fopen(idfile_name, "w");
|
idfile = fopen(idfile_name, "w");
|
||||||
if (! idfile) {
|
if (! idfile) {
|
||||||
error("Could not open %s for output\n", idfile_name);
|
error("Could not open %s for output\n", idfile_name);
|
||||||
|
|
Loading…
Reference in New Issue