Commit 13e4da9f authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Fix [make test] by letting the .flags file take precedence over the default settings.

parent 404de40c
Pipeline #114738 passed with stages
in 23 seconds
......@@ -285,7 +285,7 @@ let process_positive_test basenames : unit =
let out = id ^ ".out" in
let cmd = sep (
"cd" :: good :: "&&" ::
menhir :: base :: flags :: extra :: "--explain -lg 2 -la 2 -lc 2"
menhir :: "--explain -lg 2 -la 2 -lc 2" :: base :: flags :: extra
:: mlys basenames @ sprintf ">%s" out :: "2>&1" :: []
) in
if command cmd <> 0 then begin
......
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