diff options
author | Andrei Karas <akaras@inbox.ru> | 2016-12-19 16:28:26 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2016-12-19 18:49:07 +0300 |
commit | d6138db85ae0f95f7fce99ba04a7b06c4779b953 (patch) | |
tree | 1acf3d7fd44e6fd248dcf3e051e712c2aeb79eb9 /src/logger.h | |
parent | a07fa9a14b7fa59d1e6c347ccbffb7f2c007e514 (diff) | |
download | mv-d6138db85ae0f95f7fce99ba04a7b06c4779b953.tar.gz mv-d6138db85ae0f95f7fce99ba04a7b06c4779b953.tar.bz2 mv-d6138db85ae0f95f7fce99ba04a7b06c4779b953.tar.xz mv-d6138db85ae0f95f7fce99ba04a7b06c4779b953.zip |
Fix compilation with cilk plus on gcc 6+.
Diffstat (limited to 'src/logger.h')
-rw-r--r-- | src/logger.h | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/src/logger.h b/src/logger.h index 10b0bcf4a..be49bb74f 100644 --- a/src/logger.h +++ b/src/logger.h @@ -105,12 +105,12 @@ class Logger final __attribute__((__format__(printf, 2, 3))) #else // __OpenBSD__ -#ifdef ENABLE_CILKPLUS +#ifdef BAD_CILKPLUS __attribute__((__format__(gnu_printf, 1, 2))) -#else // ENABLE_CILKPLUS +#else // BAD_CILKPLUS __attribute__((__format__(gnu_printf, 2, 3))) -#endif // ENABLE_CILKPLUS +#endif // BAD_CILKPLUS #endif // __OpenBSD__ #endif // __GNUC__ @@ -126,12 +126,12 @@ class Logger final __attribute__((__format__(printf, 2, 3))) #else // __OpenBSD__ -#ifdef ENABLE_CILKPLUS +#ifdef BAD_CILKPLUS __attribute__((__format__(gnu_printf, 1, 2))) -#else // ENABLE_CILKPLUS +#else // BAD_CILKPLUS __attribute__((__format__(gnu_printf, 2, 3))) -#endif // ENABLE_CILKPLUS +#endif // BAD_CILKPLUS #endif // __OpenBSD__ #endif // __GNUC__ @@ -146,12 +146,12 @@ class Logger final __attribute__((__format__(printf, 2, 3))) #else // __OpenBSD__ -#ifdef ENABLE_CILKPLUS +#ifdef BAD_CILKPLUS __attribute__((__format__(gnu_printf, 1, 2))) -#else // ENABLE_CILKPLUS +#else // BAD_CILKPLUS __attribute__((__format__(gnu_printf, 2, 3))) -#endif // ENABLE_CILKPLUS +#endif // BAD_CILKPLUS #endif // __OpenBSD__ #endif // __GNUC__ @@ -191,9 +191,9 @@ class Logger final * will be printed to standard error everywhere else. */ void error(const std::string &error_text) -#ifndef ENABLE_CILKPLUS +#ifndef BAD_CILKPLUS __attribute__ ((noreturn)) -#endif // ENABLE_CILKPLUS +#endif // BAD_CILKPLUS ; /** @@ -201,9 +201,9 @@ class Logger final * will be printed to standard error everywhere else. */ void safeError(const std::string &error_text) -#ifndef ENABLE_CILKPLUS +#ifndef BAD_CILKPLUS __attribute__ ((noreturn)) -#endif // ENABLE_CILKPLUS +#endif // BAD_CILKPLUS ; void unimplemented(const int id); |