diff options
| author | jvoisin | 2024-09-06 13:36:15 +0200 |
|---|---|---|
| committer | jvoisin | 2024-09-06 13:38:22 +0200 |
| commit | f2e7f24daaa43c0927130b6ed02c3ed17689b3ca (patch) | |
| tree | 360f799b6b3fa5a6e5f4837980e5f9831b6c5a64 /.github/workflows | |
| parent | 114b563adc2b942bc5abd4c5820507076d453f64 (diff) | |
Work around a gcc warning
It seems that annotating sprintf with `write` makes gcc unhappy, as its
analyser is unable to understand that we're checking if `__b != -1` before
calling `__orig_snprintf`, so let's comment this annotation for now.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions