diff options
Diffstat (limited to 'ice40/main.cc')
| -rw-r--r-- | ice40/main.cc | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/ice40/main.cc b/ice40/main.cc index 4de05d00..a893921b 100644 --- a/ice40/main.cc +++ b/ice40/main.cc @@ -365,8 +365,13 @@ int main(int argc, char *argv[]) } } - if (vm.count("freq")) + if (vm.count("freq")) { ctx->target_freq = vm["freq"].as<double>() * 1e6; + ctx->user_freq = true; + } + else { + log_warning("Target frequency not specified. Will optimise for max frequency.\n"); + } ctx->timing_driven = true; if (vm.count("no-tmdriv")) |