Message ID | 1396795814-14875-1-git-send-email-yann.morin.1998@free.fr |
---|---|
State | Changes Requested |
Headers | show |
diff --git a/support/scripts/check-kernel-headers.sh b/support/scripts/check-kernel-headers.sh index b511a08..445faa6 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