diff options
| -rwxr-xr-x | script/autobuild.py | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/script/autobuild.py b/script/autobuild.py index dded5c9dec9..c069e1d3ccd 100755 --- a/script/autobuild.py +++ b/script/autobuild.py @@ -159,7 +159,6 @@ def format_option(name, value=None): def make_test( cmd='make test', - FAIL_IMMEDIATELY=1, TESTS='', include_envs=None, exclude_envs=None): @@ -174,7 +173,13 @@ def make_test( TESTS = (TESTS + ' ' + ' '.join(test_options)).strip() _options = [] - if FAIL_IMMEDIATELY: + + # Allow getting a full CI with + # git push -o ci.variable='AUTOBUILD_FAIL_IMMEDIATELY=0' + + FAIL_IMMEDIATELY = os.getenv("AUTOBUILD_FAIL_IMMEDIATELY", "1") + + if int(FAIL_IMMEDIATELY): _options.append('FAIL_IMMEDIATELY=1') if TESTS: _options.append("TESTS='{}'".format(TESTS)) |