[buildscript] force chosen phase to be executed (GNOME bug 583515)
commit0aeaa58248cec401a529cedbaa230a46e241253a
authorFrédéric Péters <fpeters@0d.be>
Tue, 11 Aug 2009 19:37:16 +0000 (11 21:37 +0200)
committerFrédéric Péters <fpeters@0d.be>
Tue, 11 Aug 2009 19:37:16 +0000 (11 21:37 +0200)
tree88990510def02a05825336481aad46e6ff57325f
parentf7d5f81b6ca02ee55bc6d8a75431e05a84d78c8d
[buildscript] force chosen phase to be executed (GNOME bug 583515)

If there is an error and a new phase is selected (be it by the user or
an automatic system), the chosen phase must absolutely be executed, it
should in no condition be skipped automatically.  This commit introduces
a new force_phase variable that identifies this situation and skip the
skip check.
jhbuild/frontends/buildscript.py