Skip to content

Commit

Permalink
Merge pull request #31 from eutro/barriers
Browse files Browse the repository at this point in the history
Re-add eutro/tsdnr-barriers branch
  • Loading branch information
kayceesrk authored Jan 29, 2024
2 parents 490b338 + a910c94 commit 3509384
Show file tree
Hide file tree
Showing 2 changed files with 11 additions and 0 deletions.
5 changes: 5 additions & 0 deletions config/custom_navajo.json
Original file line number Diff line number Diff line change
Expand Up @@ -8,5 +8,10 @@
"url": "https://github.com/johan511/ocaml/archive/refs/heads/oldify_races.zip",
"name": "5.3.0+trunk+gc-alloc-race-fix",
"expiry": "2024-01-17"
},
{
"url": "https://github.com/eutro/ocaml/archive/refs/heads/tsdnr-barriers.zip",
"name": "5.3.0+trunk+eutro+barriers",
"expiry": "2024-03-19"
}
]
6 changes: 6 additions & 0 deletions config/custom_turing.json
Original file line number Diff line number Diff line change
Expand Up @@ -10,5 +10,11 @@
"name": "5.3.0+trunk+gc-alloc-race-fix",
"configure": "CC='gcc -Wa,-mbranches-within-32B' AS='as -mbranches-within-32B'",
"expiry": "2024-01-17"
},
{
"url": "https://github.com/eutro/ocaml/archive/refs/heads/tsdnr-barriers.zip",
"name": "5.3.0+trunk+eutro+barriers",
"configure": "CC='gcc -Wa,-mbranches-within-32B' AS='as -mbranches-within-32B'",
"expiry": "2024-03-19"
}
]

0 comments on commit 3509384

Please sign in to comment.