On 21 May 2017, at 08:57, David Chisnall <thera...@sucs.org> wrote:
> 
> Hello the list,
> 
> I’m trying to update the GNUstep ports on FreeBSD, but currently -base is 
> failing to install with this error:
> 
> /bin/rmdir 
> /wrkdirs/usr/ports/lang/gnustep-base/work/stage/usr/local/GNUstep/System/Library/Headers/gnustep/base
> rmdir: 
> /wrkdirs/usr/ports/lang/gnustep-base/work/stage/usr/local/GNUstep/System/Library/Headers/gnustep/base:
>  No such file or directory
> 
> Any ideas?  It appears to be trying to delete an old version of headers 
> without checking that they actually exist first.

Never mind - it was something left over from an old version of the port and 
nothing to do with GNUstep itself.

David


_______________________________________________
Gnustep-dev mailing list
Gnustep-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/gnustep-dev

Reply via email to