diff options
| author | Gleb Popov <arrowd@FreeBSD.org> | 2019-01-16 16:04:03 +0800 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2019-01-16 16:04:03 +0800 |
| commit | 7fa38c4c12cb665df87f006406439398bf5a4536 (patch) | |
| tree | f493f8a82b3ef4fdea948e3f9568850c0c0a1e76 /lang/nickle | |
| parent | 20a305f9c5b7b6cf1c542eb90a85a0645768acb6 (diff) | |
| download | freebsd-ports-gnome-7fa38c4c12cb665df87f006406439398bf5a4536.tar.gz freebsd-ports-gnome-7fa38c4c12cb665df87f006406439398bf5a4536.tar.zst freebsd-ports-gnome-7fa38c4c12cb665df87f006406439398bf5a4536.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 'lang/nickle')
0 files changed, 0 insertions, 0 deletions