/dg-options.exp/1.6/Thu Sep 15 18:58:02 2005//
/libstdc++.exp/1.50/Thu Oct 13 07:29:39 2005//
/prune.exp/1.5/Wed Aug 17 02:26:50 2005//
D
