diff options
Diffstat (limited to 'gfsm/gfsm/src/programs/config.h')
-rw-r--r-- | gfsm/gfsm/src/programs/config.h | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/gfsm/gfsm/src/programs/config.h b/gfsm/gfsm/src/programs/config.h new file mode 100644 index 0000000..2b1cb3c --- /dev/null +++ b/gfsm/gfsm/src/programs/config.h @@ -0,0 +1,13 @@ +#include <gfsmConfig.h> + +/* Define this for verbose memory debugging */ +//#define GFSM_DEBUG_VERBOSE + +#ifdef GFSM_DEBUG_VERBOSE +# include <gfsmDebug.h> +# define GFSM_INIT gfsm_debug_init(); +# define GFSM_FINISH gfsm_debug_finish(); gfsm_debug_print(); +#else +# define GFSM_INIT +# define GFSM_FINISH +#endif |