diff options
| -rwxr-xr-x | support/scripts/check-kernel-headers.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/support/scripts/check-kernel-headers.sh b/support/scripts/check-kernel-headers.sh index b511a086c1..2a0a301eda 100755 --- a/support/scripts/check-kernel-headers.sh +++ b/support/scripts/check-kernel-headers.sh @@ -8,7 +8,7 @@ HDR_M="${HDR_VER%%.*}" HDR_V="${HDR_VER#*.}" HDR_m="${HDR_V%%.*}" -EXEC="/tmp/br.check-headers.$(uuidgen)" +EXEC="$(mktemp --tmpdir check-headers.XXXXXX)" # By the time we get here, we do not always have the staging-dir # already populated (think external toolchain), so we can not use |
