diff agent/make/saenv.sh @ 7018:17eeac928874

Put code that is used only in ASSERT mode behind #ifdef ASSERT
author Gilles Duboscq <duboscq@ssw.jku.at>
date Fri, 23 Nov 2012 16:03:39 +0100
parents fac3dd92ebaf
children 4fe850c65ed1
line wrap: on
line diff