diff options
| -rw-r--r-- | etc/ace.doxygen | 2 | ||||
| -rw-r--r-- | etc/ace_man.doxygen | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/etc/ace.doxygen b/etc/ace.doxygen index b1eb6956682..7a814b1fd60 100644 --- a/etc/ace.doxygen +++ b/etc/ace.doxygen @@ -117,7 +117,7 @@ MACRO_EXPANSION = YES EXPAND_ONLY_PREDEF = YES SEARCH_INCLUDES = YES INCLUDE_PATH = . -PREDEFINED = +PREDEFINED = ACE_COMPILE_TIMEPROBES EXPAND_AS_DEFINED = ACE_RCSID \ ACE_UNIMPLEMENTED_FUNC \ ACE_CACHE_MAP_MANAGER \ diff --git a/etc/ace_man.doxygen b/etc/ace_man.doxygen index 08b1bc8bca1..22306574668 100644 --- a/etc/ace_man.doxygen +++ b/etc/ace_man.doxygen @@ -117,7 +117,7 @@ MACRO_EXPANSION = YES EXPAND_ONLY_PREDEF = YES SEARCH_INCLUDES = YES INCLUDE_PATH = . -PREDEFINED = +PREDEFINED = ACE_COMPILE_TIMEPROBES EXPAND_AS_DEFINED = ACE_RCSID \ ACE_UNIMPLEMENTED_FUNC \ ACE_CACHE_MAP_MANAGER \ |