diff options
| author | cadmic <cadmic24@gmail.com> | 2025-01-10 15:05:10 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-10 18:05:10 -0500 |
| commit | 1549f34e8e8e0211d7f6cc672b0ac7f4125d6e03 (patch) | |
| tree | 34f78442de299c11117f1824b81d5df14c12dc06 /tools | |
| parent | 5773b12241d8b5dd1d5bb433339c7661865d880b (diff) | |
[iQue] Update permuter/decompme import (#2415)
* [iQue] Update permuter/decompme import
* Fix GCC build
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/permuter_settings.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/permuter_settings.toml b/tools/permuter_settings.toml index 557e748cd..b168afec8 100644 --- a/tools/permuter_settings.toml +++ b/tools/permuter_settings.toml @@ -33,4 +33,4 @@ ACTOR_DEBUG_PRINTF = "void" [decompme.compilers] "tools/ido_recomp/*/7.1/cc" = "ido7.1" "tools/ido_recomp/*/5.3/cc" = "ido5.3" -"tools/egcs/*/gcc" = "egcs_1.1.2-4" +"tools/egcs/*/gcc" = "egcs_1.1.2-4c" |