Module Name: src
Committed By: rillig
Date: Mon Dec 6 23:05:36 UTC 2021
Modified Files:
src/external/lgpl3/gmp/lib/libgmp: Makefile
Log Message:
libgmp: suppress a few lint warnings
Instead of erroring out due to the unknown function alloca, lint now
warns about a pointer/integer mismatch since it wrongly assumes that all
__builtin functions return int. The warning is still better than a
failing build though.
To generate a diff of this commit:
cvs rdiff -u -r1.29 -r1.30 src/external/lgpl3/gmp/lib/libgmp/Makefile
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
