diff --git a/infra/base-images/base-runner/bad_build_check b/infra/base-images/base-runner/bad_build_check index a570dd92e..4aa6279d7 100755 --- a/infra/base-images/base-runner/bad_build_check +++ b/infra/base-images/base-runner/bad_build_check @@ -1,4 +1,4 @@ -#!/bin/bash -u +#!/bin/bash -ux # Copyright 2017 Google Inc. # # Licensed under the Apache License, Version 2.0 (the "License"); @@ -171,6 +171,7 @@ function check_mixed_sanitizers { function main { local FUZZER=$1 + echo "INFO: performing bad build checks for $FUZZER" check_instrumentation $FUZZER check_mixed_sanitizers $FUZZER