mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-23 17:15:33 +00:00
Verific build fixes
This commit is contained in:
parent
c2f30e0de4
commit
61512b6f41
5 changed files with 7 additions and 7 deletions
|
@ -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;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue