diff make/defs.make @ 5878:191e08da4de4

Apply jacoco coverage to all gate tests
author Gilles Duboscq <duboscq@ssw.jku.at>
date Thu, 26 Jul 2012 17:47:09 +0200
parents f09ae3853e3b
children 7292cff45988
line wrap: on
line diff