K 10 svn:author V 6 marcus K 8 svn:date V 27 2006-03-19T04:36:34.000000Z K 7 svn:log V 140 * Correctly set default options with -DBATCH is used * Remove USE_REINPLACE PR: 94655 Submitted by: Sean Farley END