diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-03-08 14:25:02 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-03-08 14:25:02 +0000 |
| commit | 7904150cd1bb35d5e3e79ed1b6dfce789acb893b (patch) | |
| tree | e78d8a00d05f35b97e4d0f3322b466943fedbb85 /reproduce/src/bash/git-pre-commit | |
| parent | 80094d61d5ff1904bad114839c62a4414360d0b5 (diff) | |
Using system's GCC on Mac
We still have a few problems with building GCC on a MacOS system. To allow
using the pipeline on this operating system, until we find the solution,
GCC is only built on non-Mac systems. On Mac, we'll just make a symbolic
link to the host's executables.
Diffstat (limited to 'reproduce/src/bash/git-pre-commit')
0 files changed, 0 insertions, 0 deletions