diff options
| author | Claire Wolf <clifford@clifford.at> | 2020-01-27 12:59:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-27 12:59:27 +0100 |
| commit | de6006fbc82406d2942d0740bcfc7a4418070c9b (patch) | |
| tree | a378dec1d0fea6f8ef29483c4c00b8fdb2dd9885 /kernel | |
| parent | 81e6b040a4e9a6c8def9c4d68851e2a1f9328ed8 (diff) | |
| parent | b76b02358439cd04ed5cad5cb889e8b43c801ac1 (diff) | |
| download | yosys-de6006fbc82406d2942d0740bcfc7a4418070c9b.tar.gz yosys-de6006fbc82406d2942d0740bcfc7a4418070c9b.tar.bz2 yosys-de6006fbc82406d2942d0740bcfc7a4418070c9b.zip | |
Merge pull request #1613 from porglezomp-misc/version-flag-alias
Add --version and -version as aliases for -V
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/driver.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index f0d495b46..7fc81f589 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -317,6 +317,12 @@ int main(int argc, char **argv) exit(0); } + if (argc == 2 && (!strcmp(argv[1], "-V") || !strcmp(argv[1], "-version") || !strcmp(argv[1], "--version"))) + { + printf("%s\n", yosys_version_str); + exit(0); + } + int opt; while ((opt = getopt(argc, argv, "MXAQTVSgm:f:Hh:b:o:p:l:L:qv:tds:c:W:w:e:D:P:E:")) != -1) { |