Skip to content

Commit

Permalink
fix(spawn): update spawn for gcc 4.8.5 (#10428)
Browse files Browse the repository at this point in the history
Updated to a version that contains janestreet/spawn#62.

Signed-off-by: Etienne Millon <me@emillon.org>
  • Loading branch information
emillon committed Apr 17, 2024
1 parent f434ff8 commit d21c5b7
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 3 deletions.
1 change: 1 addition & 0 deletions doc/changes/10428.md
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
- spawn: fix compatibility with RHEL7 (#10428, @emillon)
4 changes: 2 additions & 2 deletions vendor/spawn/src/spawn_stubs.c
Original file line number Diff line number Diff line change
Expand Up @@ -523,8 +523,8 @@ static void init_spawn_info(struct spawn_info *info,
caml_failwith("Unknown sigprocmask action");
}

for (value v_signals_list = Field(v_sigprocmask, 1);
v_signals_list != Val_emptylist;
value v_signals_list = Field(v_sigprocmask, 1);
for (; v_signals_list != Val_emptylist;
v_signals_list = Field(v_signals_list, 1)) {
int signal = caml_convert_signal_number(Long_val(Field(v_signals_list, 0)));
switch (sigprocmask_command) {
Expand Down
2 changes: 1 addition & 1 deletion vendor/update-spawn.sh
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
#!/bin/bash

version=6c752122070f377c2607f6969a821f166a43bd5e
version=835c49833d41221758c4ad71f07829ee259668e1

set -e -o pipefail

Expand Down

0 comments on commit d21c5b7

Please sign in to comment.