git.annexia.org / goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a70987f) | patch
run: Add %goals_final_check variable when evaluating tactics.
authorRichard W.M. Jones <rjones@redhat.com>
Fri, 10 Jan 2020 08:42:41 +0000 (08:42 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Fri, 10 Jan 2020 08:50:20 +0000 (08:50 +0000)
commit109185686ffdc00520eba2b4c3a92f10a111fb60
treeb4883f143fe644dc42ce05cbe8a3543109d73cfdtree | snapshot
parenta70987f316ab4b948bf941ddea8fb6ccef09da4fcommit | diff
run: Add %goals_final_check variable when evaluating tactics.

This is true ("1") if this is the final check that the goal evaluation
was successful.  It allows tactics to behave differently when
evaluating if we need a rebuild vs checking that the rebuild was
successful.
src/run.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.