summaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authordimitri staessens <dimitri.staessens@ugent.be>2017-10-06 20:52:51 +0200
committerdimitri staessens <dimitri.staessens@ugent.be>2017-10-06 21:21:07 +0200
commitffdfca4bdf98b571d6a472b1501c3b696807f558 (patch)
tree2d6d040eef0dd6aa88c03a082e469c54a51531d5 /doc/.gitignore
parent7dcacfbc94386e155650aaaa1a8f56cfb6fc53f9 (diff)
downloadouroboros-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