diff --git a/jenkins/scripts/wheel-index.sh b/jenkins/scripts/wheel-index.sh index 5473ed98f0..e34de1780d 100755 --- a/jenkins/scripts/wheel-index.sh +++ b/jenkins/scripts/wheel-index.sh @@ -4,7 +4,7 @@ MIRROR_ROOT=$1 # A temporary file to which to write the new index -TMP_INDEX_FILE=$(tempfile) +TMP_INDEX_FILE=$(mktemp) trap "rm -f -- '$TMP_INDEX_FILE'" EXIT # And the final location