Commit f26c7ca67147450db2fe25ea932944e6cf145d5c

Anthony Green 2013-01-08T14:47:05

Make compiler options in dejagnu runs compiler specific