mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Giacomo Vercesi
dc90bca33e
Split the OnQuit functionality of Statistics as a separate header and object file. Rework the interface to use lambdas instead of the OnQuitInterface.
18 lines
554 B
C++
18 lines
554 B
C++
/// \file Statistics.cpp
|
|
/// \brief Implementation of the statistics collection framework.
|
|
|
|
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
#include "revng/Support/CommandLine.h"
|
|
#include "revng/Support/Statistics.h"
|
|
|
|
namespace cl = llvm::cl;
|
|
|
|
cl::opt<bool> Statistics("statistics",
|
|
cl::desc("print statistics upon exit or "
|
|
"SIGINT. Use "
|
|
"this argument, ignore -stats."),
|
|
cl::cat(MainCategory));
|