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 _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : [email protected] Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
