void input_scrub_end (void) { if (buffer_start) { free (buffer_start); buffer_start = 0; input_file_end (); } }
void input_file_pop (char *arg) { struct saved_file *saved = (struct saved_file *) arg; input_file_end (); /* Close out old file. */ f_in = saved->f_in; file_name = saved->file_name; preprocess = saved->preprocess; if (preprocess) app_pop (saved->app_save); free (arg); }