Commit c9c2aa24611ec996f45a495f24d690688f3ffed6

Anthony Green 2017-03-15T09:58:39

Revert previous two changes. clang/MacOS problem can only be solved within dejagnu.