Commit 51d3dc3c authored by MARCHE Claude's avatar MARCHE Claude

support for gappa version 1.1.0

parent 39252658
......@@ -185,7 +185,7 @@ exec = "gappa-0.13.0"
exec = "gappa-0.12.3"
version_switch = "--version"
version_regexp = "Gappa \\([^ \n]*\\)"
version_ok = "^1\.0\..+$"
version_ok = "^1\.[0-1]\..+$"
version_ok = "^0\.1[4-8]\..+$"
version_old = "^0\.1[1-3]\..+$"
command = "%l/why3-cpulimit %t %m -s %e -Eprecision=70"
......
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