diff TOOLS/subedit.pl @ 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 92a795af2600
children
line wrap: on
line diff