const int DEBUG_SCRIPT = 0x2;
const int DEBUG_FILES = 0x4;
const int DEBUG_RELAXATION = 0x8;
+const int DEBUG_INCREMENTAL = 0x10;
const int DEBUG_ALL = (DEBUG_TASK | DEBUG_SCRIPT | DEBUG_FILES
- | DEBUG_RELAXATION);
+ | DEBUG_RELAXATION | DEBUG_INCREMENTAL);
// Convert a debug string to the appropriate enum.
inline int
{ "script", DEBUG_SCRIPT },
{ "files", DEBUG_FILES },
{ "relaxation", DEBUG_RELAXATION },
+ { "incremental", DEBUG_INCREMENTAL },
{ "all", DEBUG_ALL }
};