diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-01-24 12:16:46 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-01-24 12:16:46 +0100 |
| commit | 2a9ad48eb63a5f019c528fe46ceca0065364a44d (patch) | |
| tree | a84eec02de3e555ca502d9fc4cdc2d9ca66b203c /kernel/yosys.cc | |
| parent | 8fe9ab50e51204e5709eaad0fbf2ffb5397a0194 (diff) | |
Added ENABLE_NDEBUG makefile options
Diffstat (limited to 'kernel/yosys.cc')
| -rw-r--r-- | kernel/yosys.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/yosys.cc b/kernel/yosys.cc index ac1bc7ab..d5467afe 100644 --- a/kernel/yosys.cc +++ b/kernel/yosys.cc @@ -319,11 +319,13 @@ std::string make_temp_dir(std::string template_str) mkdir(template_str.c_str()); return template_str; #else +# ifndef NDEBUG size_t pos = template_str.rfind("XXXXXX"); log_assert(pos != std::string::npos); int suffixlen = GetSize(template_str) - pos - 6; log_assert(suffixlen == 0); +# endif char *p = strdup(template_str.c_str()); p = mkdtemp(p); |