| commit | 89d9d6221e6b17ae28bf20fdf9a8b3798fbf5912 | [log] [tgz] |
|---|---|---|
| author | Nico Weber <nicolasweber@gmx.de> | Wed Jun 14 17:47:05 2017 -0400 |
| committer | GitHub <noreply@github.com> | Wed Jun 14 17:47:05 2017 -0400 |
| tree | 3458bc3d98d77a2ff9b2e9e0821bfb016832c655 | |
| parent | d6eb8baf8130ab93140395dceca363774092135d [diff] | |
| parent | 04d886b11041bb59d01df794cce7a1e8cad2250d [diff] |
Merge pull request #1281 from colincross/rebuild_on_error Rebuild edges that update their output file on error