HoTT/HoTT — pull request #244 by JasonGross (2013-11-09 11:52:02+00:00)
Title: Make autogen.sh use bash

Otherwise, on my Ubuntu machine, it complains about SIGINT being a bad trap.