On Jun 28, 2012, at 3:27 PM, Bernhard Reutner-Fischer wrote: > Perhaps you want to pursue this? We'd need to suggest this to dejagnu,
Actually, we have the technology, so that isn't necessary. :-) You can install replacements for any procs you want, not pretty, but... it does work. I think this is a more deterministic path forward than waiting for a mythical dejagnu release. Also, we then can avoid the hassle of requiring a new dejagnu.
