John On 11/9/15 4:11 PM, Eric Eide wrote:
John Regehr <regehr@cs.utah.edu> writes:I feel sure that I've broken Windows since I don't have a Windows machine for testing, I hope someone can go back and do the necessary fixing.I'll mention that the CMake-based build system is also certainly broken.