]> Savannah Git Hosting - gnulib.git/commit
libgmp: remove HAVE_GMP, LIB_GMP
authorPaul Eggert <eggert@cs.ucla.edu>
Sun, 26 Jul 2020 00:42:18 +0000 (17:42 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 26 Jul 2020 17:07:29 +0000 (10:07 -0700)
commit6e9f94e9b4478b6f32f2da10891239187aed5ea2
tree3284c001c8624775575994d0d95272b525bd5d52
parent7daa86fea49d9928dcf2c57747ee63e9541287ed
libgmp: remove HAVE_GMP, LIB_GMP

* m4/libgmp.m4 (gl_LIBGMP): Do not define HAVE_GMP and LIB_GMP, as
they’re redundant.  I’ll adjust GNU Coreutils accordingly.
ChangeLog
m4/libgmp.m4