HoTT/HoTT — pull request #343 by JasonGross (2014-03-21 17:49:44+00:00)
Title: /usr/bin/env bash -e doesn't work in some cygwins

It complains about not being able to find `bash -e`.