diff options
| author | David Shah <dave@ds0.me> | 2020-06-29 16:39:31 +0100 |
|---|---|---|
| committer | David Shah <dave@ds0.me> | 2020-06-29 16:39:31 +0100 |
| commit | 32e655d0afcc01d7a04aca0f1c5be39140e21335 (patch) | |
| tree | f0f2d52a52536995321c7b4a1b133165b08b3a78 /common/placer1.cc | |
| parent | 929a1cc7e4b0327e75212e4cabd6a60ef21ea1d9 (diff) | |
| download | nextpnr-32e655d0afcc01d7a04aca0f1c5be39140e21335.tar.gz nextpnr-32e655d0afcc01d7a04aca0f1c5be39140e21335.tar.bz2 nextpnr-32e655d0afcc01d7a04aca0f1c5be39140e21335.zip | |
placer1: Unlock even if placement fails
Prevents a hang during routing when using --force
Fixes #462
Signed-off-by: David Shah <dave@ds0.me>
Diffstat (limited to 'common/placer1.cc')
| -rw-r--r-- | common/placer1.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/common/placer1.cc b/common/placer1.cc index 1ba50e28..92f42ba7 100644 --- a/common/placer1.cc +++ b/common/placer1.cc @@ -1256,6 +1256,7 @@ bool placer1(Context *ctx, Placer1Cfg cfg) #ifndef NDEBUG ctx->check(); #endif + ctx->unlock(); return false; } } @@ -1276,6 +1277,7 @@ bool placer1_refine(Context *ctx, Placer1Cfg cfg) #ifndef NDEBUG ctx->check(); #endif + ctx->unlock(); return false; } } |