Commit bc607846 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

Use the new -timelimit option of Alt-Ergo

parent 9aa4cb8e
......@@ -3,7 +3,7 @@ name = "Alt-Ergo"
exec = "alt-ergo"
exec = "alt-ergo-0.95-dev"
version_switch = "-version"
version_regexp = "\\([0-9.]+-dev\\)"
version_regexp = "\\([0-9.]+(-dev)?\\)"
version_ok = "0.95-dev"
version_bad = "0.94"
version_bad = "0.93.1"
......@@ -15,7 +15,7 @@ version_bad = "0.92"
version_bad = "0.91"
version_bad = "0.9"
version_bad = "0.8"
command = "'@LOCALBIN@why3-cpulimit' %t %m -s %e -model %f"
command = "'@LOCALBIN@why3-cpulimit' %T %m -s %e -timelimit %t -model %f"
driver = "drivers/alt_ergo_model.drv"
editor = "altgr-ergo"
......
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