diff options
author | Serge Bazanski <serge@bazanski.pl> | 2018-07-17 19:16:26 +0100 |
---|---|---|
committer | Serge Bazanski <serge@bazanski.pl> | 2018-07-17 19:16:26 +0100 |
commit | 03508faabfc2f5b76039cfd13d02a341baa848a4 (patch) | |
tree | c896745d0e1555e224d5a7c67b52e7ccfb6e30dd /common/router1.cc | |
parent | 2f5b94fe309619c221c3e1ea5aa48a4523bd3156 (diff) | |
download | nextpnr-03508faabfc2f5b76039cfd13d02a341baa848a4.tar.gz nextpnr-03508faabfc2f5b76039cfd13d02a341baa848a4.tar.bz2 nextpnr-03508faabfc2f5b76039cfd13d02a341baa848a4.zip |
WIP.
Diffstat (limited to 'common/router1.cc')
-rw-r--r-- | common/router1.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/common/router1.cc b/common/router1.cc index a85de7c6..bde3be31 100644 --- a/common/router1.cc +++ b/common/router1.cc @@ -637,7 +637,9 @@ bool router1(Context *ctx) log_info("Checksum: 0x%08x\n", ctx->checksum()); #ifndef NDEBUG + ctx->lock(); ctx->check(); + ctx->unlock(); #endif return true; } catch (log_execution_error_exception) { |