Merge pull request #964 from nicolasdespres/sighup
authorNico Weber <nicolasweber@gmx.de>
Thu, 12 Nov 2015 00:51:29 +0000 (16:51 -0800)
committerNico Weber <nicolasweber@gmx.de>
Thu, 12 Nov 2015 00:51:29 +0000 (16:51 -0800)
commit935788e2c019706a0f04b1b759c6751f1c2ee3c7
tree511e4decbf8522c6776de721b84e2f4eb515aa5d
parent381e56a34c1c0bdf58889041d052b45ea53a09c7
parent23de4b25e9285d24cfa21fbed5acd105492866d8
Merge pull request #964 from nicolasdespres/sighup

Cleanup build on SIGHUP.