Commit 5b10a0198188d43fc07c271bc29ff1033e2ac9d3

Anthony Green 2017-03-15T09:34:01

Work around dejagnu/clang problems