Re: Strange failure on the build cluster: strip: ...//portsearch: File format not recognized

2014-10-30 Thread Vasil Dimov
On 30 October 2014 09:49, Baptiste Daroussin wrote: > On Thu, Oct 30, 2014 at 09:40:51AM +0200, Vasil Dimov wrote: [...] >> install -s -o root -g wheel -m 555 src/portsearch >> /wrkdirs/usr/ports/ports-mgmt/portsearch/work/stage/usr/local/bin/ >> strip: >> /wrkdirs/usr/ports/ports-mgmt/portsearc

Re: Strange failure on the build cluster: strip: ...//portsearch: File format not recognized

2014-10-30 Thread Baptiste Daroussin
On Thu, Oct 30, 2014 at 09:40:51AM +0200, Vasil Dimov wrote: > Hello, > > I am puzzled by this: > > ===> Generating temporary packing list > /usr/bin/make -C src build > install -s -o root -g wheel -m 555 src/portsearch > /wrkdirs/usr/ports/ports-mgmt/portsearch/work/stage/usr/local/bin/ > str

Strange failure on the build cluster: strip: ...//portsearch: File format not recognized

2014-10-30 Thread Vasil Dimov
Hello, I am puzzled by this: ===> Generating temporary packing list /usr/bin/make -C src build install -s -o root -g wheel -m 555 src/portsearch /wrkdirs/usr/ports/ports-mgmt/portsearch/work/stage/usr/local/bin/ strip: /wrkdirs/usr/ports/ports-mgmt/portsearch/work/stage/usr/local/bin//portsea