diff options
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/log.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/log.cc b/kernel/log.cc index bf92dace..29644a06 100644 --- a/kernel/log.cc +++ b/kernel/log.cc @@ -264,7 +264,7 @@ void log_pop() log_flush(); } -#ifdef __linux__ +#if defined(__linux__) && defined(YOSYS_ENABLE_PLUGINS) void log_backtrace(const char *prefix, int levels) { if (levels <= 0) return; |