diff options
| author | Filippo Valsorda <hi@filippo.io> | 2020-04-19 18:55:05 -0400 |
|---|---|---|
| committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2020-04-19 23:36:59 -0600 |
| commit | 07b169ec32ad6961ed8625a0b932a663abcb01d2 (patch) | |
| tree | 037e4e456f9e8493fa569b16a80aae21a8a87322 /debian/changelog | |
| parent | 8d267c480e1f04832bd6110e73411dee63bbf042 (diff) | |
platform/darwin: don't invoke brew for the default prefix
"brew --prefix gnu-getopt" takes 2.125s on my very default setup (I
don't even want to know why), dominating the pass wall time.
If the default brew prefix is in use, just detect the getopt binary with
a cheap "test -x" instead.
Diffstat (limited to 'debian/changelog')
0 files changed, 0 insertions, 0 deletions