Thread Previous • Date Previous • Date Next • Thread Next |
It looks like there's a problem with the definition of dolfin_debug in the case when DEBUG is not defined. I haven't checked yet what the problem could be. Is the buildbot running with and without DEBUG? We should run at least one build with each flag. -- Anders
Thread Previous • Date Previous • Date Next • Thread Next |