diff --git a/support/scripts/check-kernel-headers.sh b/support/scripts/check-kernel-headers.sh index 82cf9ac274..a8cca78b27 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="$(mktemp --tmpdir check-headers.XXXXXX)" +EXEC="$(mktemp -t check-headers.XXXXXX)" # We do not want to account for the patch-level, since headers are # not supposed to change for different patchlevels, so we mask it out.