/dg-options.exp/1.2/Wed May 18 08:07:32 2005//
/prune.exp/1.4/Wed Mar 24 19:54:26 2004//
/libstdc++.exp/1.42/Fri Jun 24 12:07:05 2005//
D
