Searched refs:output_filename (Results 1 – 3 of 3) sorted by relevance
346 my $output_filename = shift @_;351 open OUT, ">$output_filename" or die "ERROR: Cannot create file \'$output_filename\'\n";355 my $include_guard = $output_filename;365 File: $output_filename612 my $output_filename = $filename;613 if (($output_filename =~ s/\.csv/\.h/) == 0) {614 $output_filename .= ".h";616 $output_filename =~ s/\.h/_$category.h/;618 push @headerfile_array, $output_filename;620 verbose("Output filename is $output_filename\n");[all …]
187 char *output_filename = NULL; in main() local202 output_filename = strdup(optarg); in main()218 if(output_filename == NULL) in main()222 output_filename = strdup("./result.c"); in main()223 printf("output = %s\n", output_filename); in main()226 yyout = fopen(output_filename, "w"); in main()