diff options
author | David Shah <dave@ds0.me> | 2018-11-26 19:14:38 +0000 |
---|---|---|
committer | David Shah <dave@ds0.me> | 2018-11-26 19:14:38 +0000 |
commit | 4a44bc569abde28b8c9d7440447295af683b92f4 (patch) | |
tree | 78b4c878958f1a1c6c81d5702d0cef5d8e1a0765 /common/command.h | |
parent | 0adc0d75297fa81034aa3f325cf2758314ca1336 (diff) | |
download | nextpnr-4a44bc569abde28b8c9d7440447295af683b92f4.tar.gz nextpnr-4a44bc569abde28b8c9d7440447295af683b92f4.tar.bz2 nextpnr-4a44bc569abde28b8c9d7440447295af683b92f4.zip |
Print warning and error count at end of execution
Signed-off-by: David Shah <dave@ds0.me>
Diffstat (limited to 'common/command.h')
-rw-r--r-- | common/command.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/common/command.h b/common/command.h index 30e0e58b..d0f1d328 100644 --- a/common/command.h +++ b/common/command.h @@ -54,6 +54,7 @@ class CommandHandler int executeMain(std::unique_ptr<Context> ctx); po::options_description getGeneralOptions(); void run_script_hook(const std::string &name); + void printFooter(); protected: po::variables_map vm; |