diff options
Diffstat (limited to 'common')
| -rw-r--r-- | common/kernel/command.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/common/kernel/command.cc b/common/kernel/command.cc index 2fb4ee53..5f40ffab 100644 --- a/common/kernel/command.cc +++ b/common/kernel/command.cc @@ -263,7 +263,9 @@ void CommandHandler::setupContext(Context *ctx) if (vm.count("randomize-seed")) { std::random_device randDev{}; std::uniform_int_distribution<int> distrib{1}; - ctx->rngseed(distrib(randDev)); + auto seed = distrib(randDev); + ctx->rngseed(seed); + log_info("Generated random seed: %d\n", seed); } if (vm.count("slack_redist_iter")) { |