[118767] trunk/dports/science/openmpi/Portfile
Ryan Schmidt
ryandesign at macports.org
Fri Apr 11 00:39:41 PDT 2014
On Apr 10, 2014, at 19:12, sean at macports.org wrote:
> Revision
> 118767
> Author
> sean at macports.org
> Date
> 2014-04-10 17:12:52 -0700 (Thu, 10 Apr 2014)
> Log Message
>
> openmpi: check before deleting directory; should fix #42992
> Modified Paths
>
> • trunk/dports/science/openmpi/Portfile
> Diff
>
> Modified: trunk/dports/science/openmpi/Portfile (118766 => 118767)
>
> --- trunk/dports/science/openmpi/Portfile 2014-04-11 00:12:47 UTC (rev 118766)
> +++ trunk/dports/science/openmpi/Portfile 2014-04-11 00:12:52 UTC (rev 118767)
>
> @@ -143,8 +143,12 @@
>
>
>
> post-destroot {
>
> # This version doesn't supply manpages
>
> - delete ${destroot}${prefix}/share/mandelete
> - delete ${destroot}${prefix}/share/docdelete
>
> + if {[file isdirectory ${destroot}${prefix}/share/mandelete]} {
> + delete ${destroot}${prefix}/share/mandelete
> + }
> + if {[file isdirectory ${destroot}${prefix}/share/docdelete]} {
> + delete ${destroot}${prefix}/share/docdelete
> + }
This should not be necessary and this should not change anything.
“delete” is a wrapper around “file delete -force”.
http://wiki.tcl.tk/10058
“Non-empty directories will be removed only if the -force option is specified.”
“Trying to delete a non-existent file is not considered an error.”
More information about the macports-dev
mailing list