diff options
| author | Tobi <[email protected]> | 2026-03-29 12:43:41 +0200 |
|---|---|---|
| committer | Tobi <[email protected]> | 2026-03-29 12:43:41 +0200 |
| commit | dbfaebf6cb9841e42d131cbec65906a6bf8eb886 (patch) | |
| tree | 6b2861b85dc18aa2da62039ce3e41109fc48cb85 /.github | |
| parent | a2cca43290d0ddb4eedc2cc5ba096deca5471012 (diff) | |
fix incorrect check for NO_WARN_RWX_SEGMENTS_SUPPORTED. Use "NOT DEFINED" instead of "NOT VAR" to properly detect whether the variable is unset.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions