diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-09-23 18:20:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-23 18:20:46 +0200 |
| commit | 9c95a8bebf986a6e8b6298cccdc97353843bda38 (patch) | |
| tree | 70d855777332907eaaefa037f65ec525e36c60b3 /Makefile | |
| parent | 8a2e10827f2f57c3b9a0829357363d5f09af65e2 (diff) | |
| parent | 21639b2d179e84805d5ab0949c7bdd74c9e2b7ae (diff) | |
Merge pull request #4055 from tweag/link-with-gold
Use gold as the linker on Linux
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions