- if (!src_extension)
- src_extension = xstrdup(ext);
- if (!header_extension)
- {
- header_extension = tr(ext, 'c', 'h');
- header_extension = tr(header_extension, 'C', 'H');
- }
+ /* We use this function when the user specifies `-o' or `--output',
+ so the extenions must be computed unconditionally from the file name
+ given by this option. */
+ src_extension = xstrdup(ext);
+ header_extension = tr(ext, 'c', 'h');
+ header_extension = tr(header_extension, 'C', 'H');