Skip to content
Permalink
Browse files

Always clean up git.file when deleting distfiles

This check should not be necessary, as we will just silently try to
delete a non-existing file.
  • Loading branch information
raimue committed Mar 11, 2018
1 parent 44be615 commit 0be6563730e2c293eed232cfd3135cdb5aeb310a
Showing with 1 addition and 1 deletion.
  1. +1 −1 src/port1.0/portfetch.tcl
@@ -685,7 +685,7 @@ proc portfetch::fetch_deletefiles {args} {

switch -- "${fetch.type}" {
git {
if {[git_tarballable] && [file isfile "${distpath}/${git.file}"]} {
if {[file isfile "${distpath}/${git.file}"]} {
file delete -force "${distpath}/${git.file}"
}
}

0 comments on commit 0be6563

Please sign in to comment.
You can’t perform that action at this time.