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 /gui/resources/resultset_last.png | |
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 'gui/resources/resultset_last.png')
0 files changed, 0 insertions, 0 deletions