HoTT/HoTT — pull request #606 by JasonGross (2014-11-09 07:24:47+00:00)
Title: make clean: Work around argument length limitation

This is working around "make: execvp: /bin/bash: Argument list too long"
on travis.

This closes #592.