diff mangle.h @ 29303:4f26b760cb37

CONFIG_LIBNEMESI and CONFIG_LIVE555 are not defined to 0/1 values. Thus, we cannot check for them in an #if directive, but have to use #if defined() instead.
author diego
date Wed, 03 Jun 2009 13:42:11 +0000
parents 94bc143e3f80
children 577c86f00dd1
line wrap: on
line diff