diff options
| author | Raul Infante-Sainz <infantesainz@gmail.com> | 2019-03-22 17:58:45 +0000 |
|---|---|---|
| committer | Raul Infante-Sainz <infantesainz@gmail.com> | 2019-03-22 17:58:45 +0000 |
| commit | 8748d3e93fbe60511912fbe6ac424a6d6352de4f (patch) | |
| tree | a521738c63213ba0d95ea4c85edb7a0cdd9a665b /reproduce/analysis/make/top.mk | |
| parent | 30e422bdebaee600ef3b5ebc6313429760d88004 (diff) | |
On Mac systems, using a copy of GCC, not a link
Until now we were using a symbolic link to replace GCC, but Make doesn't
treat symbolic links like files. So it would rebuild the links every
time. With this commit, only for GCC on Mac systems, we are actually
copying the host's GCC executable to avoid this problem.
Also, a wrong comment for cURL was removed.
Diffstat (limited to 'reproduce/analysis/make/top.mk')
0 files changed, 0 insertions, 0 deletions