Commit 5b21db3e authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Update promote.sh.

parent 416fccda
......@@ -20,6 +20,9 @@ do
# Create the expected-output files if they are missing.
touch test/static/$name.opp.exp
touch test/static/$name.exp
touch test/static/$name.automaton.exp
touch test/static/$name.automaton.resolved.exp
touch test/static/$name.conflicts.exp
base=${name#good/}
# Ask dune to update the expected-output files.
dune build @$base --auto-promote
......
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