diff options
| author | arrowd <arrowd@FreeBSD.org> | 2019-01-16 16:04:03 +0800 |
|---|---|---|
| committer | arrowd <arrowd@FreeBSD.org> | 2019-01-16 16:04:03 +0800 |
| commit | 352410bf97bce0883285db68947e9f21168b637e (patch) | |
| tree | f493f8a82b3ef4fdea948e3f9568850c0c0a1e76 /www | |
| parent | 6cb3102edb853d777491edc62be9019158dc5247 (diff) | |
| download | freebsd-ports-gnome-352410bf97bce0883285db68947e9f21168b637e.tar.gz freebsd-ports-gnome-352410bf97bce0883285db68947e9f21168b637e.tar.zst freebsd-ports-gnome-352410bf97bce0883285db68947e9f21168b637e.zip | |
lang/ghc: Since we already depend on binutils on ARM, use their strip, because our strip is incredibly slow.
PR: 234949
Submitted by: Mikael Urankar <mikael.urankar@gmail.com>
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D18842
Diffstat (limited to 'www')
0 files changed, 0 insertions, 0 deletions