summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorSam Clegg <sbc@chromium.org>2019-08-20 17:55:11 -0700
committerGitHub <noreply@github.com>2019-08-20 17:55:11 -0700
commit2895ca0816507a9ca1ea19b5d990a1bb8299c9c4 (patch)
tree2584aead74e76c1cb169ac804b30d6586688fe1e /src
parentdce1fe8c16559437cae05c0dd782237474ca6082 (diff)
downloadbinaryen-2895ca0816507a9ca1ea19b5d990a1bb8299c9c4.tar.gz
binaryen-2895ca0816507a9ca1ea19b5d990a1bb8299c9c4.tar.bz2
binaryen-2895ca0816507a9ca1ea19b5d990a1bb8299c9c4.zip
Support --version argument in command line tools (#2304)
Diffstat (limited to 'src')
-rw-r--r--src/support/command-line.cpp9
1 files changed, 9 insertions, 0 deletions
diff --git a/src/support/command-line.cpp b/src/support/command-line.cpp
index f1b4fca4d..be5098677 100644
--- a/src/support/command-line.cpp
+++ b/src/support/command-line.cpp
@@ -15,6 +15,7 @@
*/
#include "support/command-line.h"
+#include "config.h"
using namespace wasm;
@@ -51,6 +52,14 @@ void printWrap(std::ostream& os, int leftPad, const std::string& content) {
Options::Options(const std::string& command, const std::string& description)
: debug(false), positional(Arguments::Zero) {
+ add("--version",
+ "",
+ "Output version information and exit",
+ Arguments::Zero,
+ [command](Options*, const std::string&) {
+ std::cout << command << " " << BINARYEN_VERSION_INFO << "\n";
+ exit(0);
+ });
add("--help",
"-h",
"Show this help message and exit",