diff options
Diffstat (limited to 'common')
| -rw-r--r-- | common/timing_opt.cc | 2 | 
1 files changed, 2 insertions, 0 deletions
| diff --git a/common/timing_opt.cc b/common/timing_opt.cc index c0968db7..898222ab 100644 --- a/common/timing_opt.cc +++ b/common/timing_opt.cc @@ -84,6 +84,7 @@ class TimingOptimiser      bool optimise()      {          log_info("Running timing-driven placement optimisation...\n"); +        ctx->lock();          if (ctx->verbose)              timing_analysis(ctx, false, true, false, false);          for (int i = 0; i < 30; i++) { @@ -96,6 +97,7 @@ class TimingOptimiser              if (ctx->verbose)                  timing_analysis(ctx, false, true, false, false);          } +        ctx->unlock();          return true;      } | 
