diff options
Diffstat (limited to 'lib/sanitizer_common/scripts/check_lint.sh')
-rwxr-xr-x | lib/sanitizer_common/scripts/check_lint.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/sanitizer_common/scripts/check_lint.sh b/lib/sanitizer_common/scripts/check_lint.sh index 69a0e19e..5f1bd4ba 100755 --- a/lib/sanitizer_common/scripts/check_lint.sh +++ b/lib/sanitizer_common/scripts/check_lint.sh @@ -94,10 +94,10 @@ run_lint ${LSAN_LIT_TEST_LINT_FILTER} ${LSAN_RTL}/lit_tests/*/*.cc & FILES=${COMMON_RTL}/*.inc TMPFILES="" for FILE in $FILES; do - TMPFILE=$(mktemp -u --tmpdir check_lint.XXXXX).cc - cp -f $FILE $TMPFILE - run_lint ${COMMON_RTL_INC_LINT_FILTER} $TMPFILE & - TMPFILES="$TMPFILES $TMPFILE" + TMPFILE="$(${MKTEMP}).$(basename ${FILE}).cc" + cp -f $FILE $TMPFILE + run_lint ${COMMON_RTL_INC_LINT_FILTER} $TMPFILE & + TMPFILES="$TMPFILES $TMPFILE" done wait |