Support custom default extension for FileNameOption
authorTeemu Murtola <teemu.murtola@gmail.com>
Sun, 27 Jul 2014 04:42:53 +0000 (07:42 +0300)
committerGerrit Code Review <gerrit@gerrit.gromacs.org>
Mon, 8 Sep 2014 03:12:30 +0000 (05:12 +0200)
Add FileNameOption.defaultType() to allow changing the default extension
used for file types that accept multiple extensions.  About 1% of the
existing t_filenm declarations seem to use such a feature.

Make parse_common_args() deduce the value for this from the value of
t_filenm.fn, if it contains an extension.

Extend unit tests to cover these cases.

Change-Id: Idf8d1c6b70b88d58bbf12398bd16f57412eab065


No differences found