diff options
| author | Andrei Karas <akaras@inbox.ru> | 2015-04-24 02:11:35 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2015-04-24 02:13:45 +0300 |
| commit | c5e54ca6234d9568e1185e1ff92f4d04c41faa6c (patch) | |
| tree | ed5a86099956c00753d410dc637388480971a808 /src/logger.h | |
| parent | 4e6c08b939fbfb1cd4a8a5653bd16d285b55150c (diff) | |
| download | mv-c5e54ca6234d9568e1185e1ff92f4d04c41faa6c.tar.gz mv-c5e54ca6234d9568e1185e1ff92f4d04c41faa6c.tar.bz2 mv-c5e54ca6234d9568e1185e1ff92f4d04c41faa6c.tar.xz mv-c5e54ca6234d9568e1185e1ff92f4d04c41faa6c.zip | |
Add configure option for enable/disable CilkPlus support.
By default disabled.
Diffstat (limited to 'src/logger.h')
| -rw-r--r-- | src/logger.h | 27 |
1 files changed, 21 insertions, 6 deletions
diff --git a/src/logger.h b/src/logger.h index 9e82670ad..40ea191c2 100644 --- a/src/logger.h +++ b/src/logger.h @@ -84,11 +84,19 @@ class Logger final void log(const char *const log_text, ...) #ifdef __GNUC__ #ifdef __OpenBSD__ + __attribute__((__format__(printf, 2, 3))) -#else +#else // __OpenBSD__ + +#ifdef ENABLE_CILKPLUS + __attribute__((__format__(gnu_printf, 1, 2))) +#else // ENABLE_CILKPLUS + __attribute__((__format__(gnu_printf, 2, 3))) -#endif -#endif +#endif // ENABLE_CILKPLUS + +#endif // __OpenBSD__ +#endif // __GNUC__ ; /** @@ -98,10 +106,17 @@ class Logger final #ifdef __GNUC__ #ifdef __OpenBSD__ __attribute__((__format__(printf, 2, 3))) -#else +#else // __OpenBSD__ + +#ifdef ENABLE_CILKPLUS + __attribute__((__format__(gnu_printf, 1, 2))) +#else // ENABLE_CILKPLUS + __attribute__((__format__(gnu_printf, 2, 3))) -#endif -#endif +#endif // ENABLE_CILKPLUS + +#endif // __OpenBSD__ +#endif // __GNUC__ ; /** |