* defs.inc (pgmname): Make sure there is a valid options file. (From wk on
authorDavid Shaw <dshaw@jabberwocky.com>
Mon, 26 May 2003 14:14:03 +0000 (14:14 +0000)
committerDavid Shaw <dshaw@jabberwocky.com>
Mon, 26 May 2003 14:14:03 +0000 (14:14 +0000)
commitd61c869d7502cdec5c4354eae0c3c39ddf69c848
treeb518b1847c8e8b516054f8d3c9c2b9efc7d2b7c4
parentaca5806d4e317eda160811dac58b0f23e44a8896
* defs.inc (pgmname): Make sure there is a valid options file. (From wk on
stable branch)

* mds.test: Note that missing algorithms are not errors.
checks/ChangeLog
checks/defs.inc
checks/mds.test