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

[Vasil Dimov]

On 30 October 2014 09:49, Baptiste Daroussin <bapt at freebsd.org> 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/portsearch/work/stage/usr/local/bin//portsearch:
>> File format not recognized
>> install: wait: No such file or directory
[...]
> Yes your distfile is unclean and comes with a prebuilt binary in src
[...]

Oh, no! I screwed it up:

/usr/ports/ports-mgmt/portsearch# make extract
...
/usr/ports/ports-mgmt/portsearch# ls -l work/portsearch-1.3.4/src/portsearch
-rwxr-xr-x  1 root  wheel  35342 Oct  8 14:16
work/portsearch-1.3.4/src/portsearch
/usr/ports/ports-mgmt/portsearch#

Thanks for the quick reply!