Exceptional GitLab maintenance is scheduled for June 24, 2025. The service will be unavailable between 8:00 am and 9:30 am. Please do not work on the platform until an announcement indicates that maintenance is complete.

C

coq_teaching_material

Star 0

Drop -Werror.

Andreas Enge authored 4 years ago

* m4/mpfrcx.m4: Drop adding the -Werror flag.
* configure.ac (AM_INIT_AUTOMAKE): Drop parameters, in particular -Wall and
  -Werror.

65b5edb9

History

65b5edb9 4 years ago

History

Name	Last commit	Last update

Admin message