diff options
| author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-10-06 20:52:51 +0200 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@ugent.be> | 2017-10-06 21:21:07 +0200 |
| commit | ffdfca4bdf98b571d6a472b1501c3b696807f558 (patch) | |
| tree | 2d6d040eef0dd6aa88c03a082e469c54a51531d5 /doc/.gitignore | |
| parent | 7dcacfbc94386e155650aaaa1a8f56cfb6fc53f9 (diff) | |
| download | ouroboros-ffdfca4bdf98b571d6a472b1501c3b696807f558.tar.gz ouroboros-ffdfca4bdf98b571d6a472b1501c3b696807f558.zip | |
irmd: Add option to print version
This adds the --version option to the IRMd. With this option it will
print the version of Ouroboros to stdout and exit. Checking the
version does not require root privileges.
Also fixes calling log functions before log_init() and after
log_fini().
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions