diff options
| author | cadmic <cadmic24@gmail.com> | 2024-12-26 09:41:03 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-12-26 12:41:03 -0500 |
| commit | aaf31832334730ebf4ad9a1c852159467fac4bf5 (patch) | |
| tree | 8b89d551657f7c6b4c4511f012d9f39078bf28f5 /src/code/graph.c | |
| parent | e10ecb2fa3ecc52d2e0f4d891733dd0d1e45bd09 (diff) | |
Download ido-recomp compiler binaries instead of committing them (#2388)
* Download ido-recomp compiler binaries instead of committing them
* Skip downloading compilers if ido_recomp/ exists
* Use make instead of bash script
Diffstat (limited to 'src/code/graph.c')
0 files changed, 0 insertions, 0 deletions