Merge pull request #6134 from SimonEbner/main

Retry read operations interrupted by EINTR
This commit is contained in:
Miodrag Milanović 2026-08-20 16:24:26 +00:00 committed by GitHub
commit 2fd290ad47
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 4 additions and 1 deletions

View File

@ -1182,7 +1182,10 @@ bool read_until_abc_done(abc_output_filter &filt, int fd, DeferredLogs &logs) {
bool seen_source_cmd = false;
bool seen_yosys_abc_done = false;
while (true) {
int ret = read(fd, buf, sizeof(buf) - 1);
int ret;
do {
ret = read(fd, buf, sizeof(buf) - 1);
} while (ret == -1 && errno == EINTR);
if (ret < 0) {
logs.log_error("Failed to read from ABC, errno=%d\n", errno);
return false;