Revision 9d31a28f3393ded0b6f47167d146b9c30a444e44

Committed on 19/08/2013 7:55 am by Jérôme Gamez <github@gamez.name> [GitHub Diff]

Delete build.dir only when it exists