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 e42e2365488..f521a2e7d2e 100755 --- a/script/autobuild.py +++ b/script/autobuild.py @@ -166,7 +166,6 @@ def format_option(name, value=None): def make_test( cmd='make testonly', - FAIL_IMMEDIATELY=1, INJECT_SELFTEST_PREFIX=1, TESTS='', include_envs=None, @@ -182,7 +181,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)) |