search

Linuxbrew / brew

:beer::penguin: The Homebrew package manager for Linux
https://linuxbrew.sh
BSD 2-Clause "Simplified" License
2.66k stars 237 forks source link

BuildOptions: Do not enable --with-default-names by default [Linux] #792

Closed sjackman closed 6 years ago

sjackman commented 6 years ago

PR https://github.com/Linuxbrew/homebrew-core/pull/8861 must be merged before this PR is merged.

jonchang commented 6 years ago

Probably should have rebased from the command line, but I'll do that if CI passes and this is ready to merge.

jonchang commented 6 years ago

CI blocked by https://github.com/Linuxbrew/brew/pull/813

sjackman commented 6 years ago

Merged.