Commit 28775e42 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Add version detection for Alt-Ergo that works with both

- "Alt-Ergo 0.93"
- "0.93.1"
parent 9a577730
......@@ -2,7 +2,7 @@
name = "Alt-Ergo"
exec = "alt-ergo"
version_switch = "-version"
version_regexp = "\\([^ \n]*\\)"
version_regexp = "[^0-9]*\\([0-9.]\+\\)"
version_ok = "0.93.1"
version_ok = "0.93"
version_bad = "0.92.3"
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment