From e431d1a33fdabcd118557cc7a61f671a0d2d2599 Mon Sep 17 00:00:00 2001
From: David Shah <dave@ds0.me>
Date: Sat, 9 May 2020 19:47:03 +0100
Subject: Add missing --top option

Signed-off-by: David Shah <dave@ds0.me>
---
 common/command.cc | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/common/command.cc b/common/command.cc
index a7a19989..3dc0d968 100644
--- a/common/command.cc
+++ b/common/command.cc
@@ -123,6 +123,7 @@ po::options_description CommandHandler::getGeneralOptions()
 #endif
     general.add_options()("json", po::value<std::string>(), "JSON design file to ingest");
     general.add_options()("write", po::value<std::string>(), "JSON design file to write");
+    general.add_options()("top", po::value<std::string>(), "name of top module");
     general.add_options()("seed", po::value<int>(), "seed value for random number generator");
     general.add_options()("randomize-seed,r", "randomize seed value for random number generator");
 
@@ -277,6 +278,10 @@ int CommandHandler::executeMain(std::unique_ptr<Context> ctx)
         return 0;
     }
 
+    if (vm.count("top")) {
+        ctx->settings[ctx->id("frontend/top")] = vm["top"].as<std::string>();
+    }
+
 #ifndef NO_GUI
     if (vm.count("gui")) {
         Application a(argc, argv, (vm.count("gui-no-aa") > 0));
-- 
cgit v1.2.3