@@ -335,31 +335,31 @@ jobs:
335335          done 
336336
337337          if [[ -n "${files}" ]]; then 
338-             make lint-javascript-files FIX="${FIX}" FAST_FAIL=0 FILES="${files}" 2>&1 | tee -a  "$ERR_FILE" 
338+             make lint-javascript-files FIX="${FIX}" FAST_FAIL=0 FILES="${files}" ESLINT_ERROR_LOG= "$ERR_FILE" 
339339          fi 
340340
341341          # Lint JavaScript command-line interfaces... 
342342          file=$(echo "${{ steps.random-files.outputs.files }}" | tr ',' '\n' | grep '\.js$' | grep -E '/bin/cli$' | tr '\n' ' ') 
343343          if [[ -n "${file}" ]]; then 
344-             make lint-javascript-files FIX="${FIX}" FAST_FAIL=0 FILES="${file}" 2>&1 | tee -a  "$ERR_FILE" 
344+             make lint-javascript-files FIX="${FIX}" FAST_FAIL=0 FILES="${file}" ESLINT_ERROR_LOG= "$ERR_FILE" 
345345          fi 
346346
347347          # Lint JavaScript example files: 
348348          files=$(echo "${{ steps.random-files.outputs.files }}" | tr ',' '\n' | grep '/examples/.*\.js$' | tr '\n' ' ') 
349349          if [[ -n "${files}" ]]; then 
350-             make lint-javascript-files FIX="${FIX}" FAST_FAIL=0 FILES="${files}" ESLINT_CONF="${eslint_examples_conf}" 2>&1 | tee -a  "$ERR_FILE" 
350+             make lint-javascript-files FIX="${FIX}" FAST_FAIL=0 FILES="${files}" ESLINT_CONF="${eslint_examples_conf}" ESLINT_ERROR_LOG= "$ERR_FILE" 
351351          fi 
352352
353353          # Lint JavaScript test files: 
354354          files=$(echo "${{ steps.random-files.outputs.files }}" | tr ',' '\n' | grep '/test/.*\.js$' | tr '\n' ' ') 
355355          if [[ -n "${files}" ]]; then 
356-             make lint-javascript-files FIX="${FIX}" FAST_FAIL=0 FILES="${files}" ESLINT_CONF="${eslint_tests_conf}" 2>&1 | tee -a  "$ERR_FILE" 
356+             make lint-javascript-files FIX="${FIX}" FAST_FAIL=0 FILES="${files}" ESLINT_CONF="${eslint_tests_conf}" ESLINT_ERROR_LOG= "$ERR_FILE" 
357357          fi 
358358
359359          # Lint JavaScript benchmark files: 
360360          files=$(echo "${{ steps.random-files.outputs.files }}" | tr ',' '\n' | grep '/benchmark/.*\.js$' | tr '\n' ' ') 
361361          if [[ -n "${files}" ]]; then 
362-             make lint-javascript-files FIX="${FIX}" FAST_FAIL=0 FILES="${files}" ESLINT_CONF="${eslint_benchmarks_conf}" 2>&1 | tee -a  "$ERR_FILE" 
362+             make lint-javascript-files FIX="${FIX}" FAST_FAIL=0 FILES="${files}" ESLINT_CONF="${eslint_benchmarks_conf}" ESLINT_ERROR_LOG= "$ERR_FILE" 
363363          fi 
364364
365365#  Create sub-issue for JavaScript lint failures:
0 commit comments