diff options
Diffstat (limited to 'lib')
| -rwxr-xr-x | lib/sanitizer_common/scripts/check_lint.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/sanitizer_common/scripts/check_lint.sh b/lib/sanitizer_common/scripts/check_lint.sh index dc7bb145b..7ed05d735 100755 --- a/lib/sanitizer_common/scripts/check_lint.sh +++ b/lib/sanitizer_common/scripts/check_lint.sh @@ -35,7 +35,7 @@ SANITIZER_INCLUDES_LINT_FILTER=${COMMON_LINT_FILTER},-runtime/int MKTEMP_DIR=$(mktemp -qd /tmp/check_lint.XXXXXXXXXX) MKTEMP="mktemp -q ${MKTEMP_DIR}/tmp.XXXXXXXXXX" -function cleanup { +cleanup() { rm -rf $MKTEMP_DIR } trap cleanup EXIT |