diff options
| author | Luke T. Shumaker <lukeshu@lukeshu.com> | 2025-02-26 16:16:38 -0700 |
|---|---|---|
| committer | Luke T. Shumaker <lukeshu@lukeshu.com> | 2025-02-26 16:16:38 -0700 |
| commit | 9d38a89701d45ebc28e73b06f4283d460c151c73 (patch) | |
| tree | 76abe02708a3a9168c6c2c4a347da470fe0ef252 | |
| parent | f3ee711bbd8526e0df8bb5f2ea28fc90a41a58f3 (diff) | |
lint-bin: Ignore removed symbols
| -rwxr-xr-x | build-aux/lint-bin | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/build-aux/lint-bin b/build-aux/lint-bin index 7584714..d16a25d 100755 --- a/build-aux/lint-bin +++ b/build-aux/lint-bin @@ -45,7 +45,9 @@ lint_globals() { cd "$rel_base" total=0 while read -r symbol addr size source; do - : "$addr" + if (( addr == 0 )); then + continue + fi case "$source" in /*) # libg.a(whatever.o) -> libg.a |