diff --git a/scripts/check_style.sh b/scripts/check_style.sh index 80b7b6591..2ae991678 100755 --- a/scripts/check_style.sh +++ b/scripts/check_style.sh @@ -1,5 +1,7 @@ #!/usr/bin/env bash +ERROR_LOG="$(mktemp -t check_style_XXXXXX.log)" + . scripts/report_errors.sh EXCLUDE_FILES=( diff --git a/scripts/report_errors.sh b/scripts/report_errors.sh index 296feb84b..8b465d4a7 100755 --- a/scripts/report_errors.sh +++ b/scripts/report_errors.sh @@ -1,7 +1,5 @@ #!/usr/bin/env bash -export ERROR_LOG="/tmp/error.log" - function report_error_to_github { if [ $? -eq 0 ]