diff Makefile @ 106:a0edd7c97d2d

Add generated files -- they aren't supposed to change (much?) I think and it's better than expecting the compiler to be present on every platform
author Chris Cannam <c.cannam@qmul.ac.uk>
date Mon, 17 Oct 2016 18:56:18 +0100
parents 6fad5154778e
children 5a716f08e4be
line wrap: on
line diff