diff options
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/utils.sh | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/scripts/utils.sh b/scripts/utils.sh index 92f647958fe..c9e4a6a487d 100644 --- a/scripts/utils.sh +++ b/scripts/utils.sh @@ -107,27 +107,6 @@ function install_junit_merge_gem() { run_timed_command "gem install junit_merge --no-document --version 0.1.2" } -function fail_on_warnings() { - local cmd="$*" - local warnings - warnings="$(mktemp)" - - eval "$cmd 2>$warnings" - local ret=$? - - if test -s "$warnings"; - then - echoerr "There were warnings:" - cat "$warnings" - rm "$warnings" - return 1 - fi - - rm "$warnings" - - return $ret -} - function run_timed_command() { local cmd="${1}" local metric_name="${2:-no}" |