]> Savannah Git Hosting - gnulib.git/commit
diffseq: simplify lint removal
authorPaul Eggert <eggert@cs.ucla.edu>
Sat, 5 Aug 2023 17:04:41 +0000 (10:04 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Sat, 5 Aug 2023 17:07:34 +0000 (10:07 -0700)
commit91f94f3076fc1dbb952e183e6c405c483e2790ce
tree3042ab5bad86e7740e463633e47cb0c8b70f8f0f
parent269da69eebd34b04e135b97c6794e9af38802837
diffseq: simplify lint removal

* lib/diffseq.h (IF_LINT): Remove.
Instead, always ignore the diagnostic, as that’s simpler
now that we have the pragma change installed in May.
This removes the last IF_LINT from diffutils, though not
the last use of GCC_LINT.
ChangeLog
lib/diffseq.h