diff options
| -rw-r--r-- | ChangeLog | 5 | ||||
| -rw-r--r-- | Makeconfig | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog index 9d9b9e4801..8d5b4c7da0 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +Mon Sep 18 15:06:00 1995 Roland McGrath <roland@churchy.gnu.ai.mit.edu> + + * Makeconfig (+gccwarn): Remove -Wbad-function-cast, which seems + to be useless. + Mon Sep 18 12:39:22 1995 Paul Eggert <eggert@twinsun.com> * mktime.c (localtime_r): Add substitute if the system doesn't diff --git a/Makeconfig b/Makeconfig index 23db67ff33..07496423c6 100644 --- a/Makeconfig +++ b/Makeconfig @@ -301,7 +301,7 @@ RANLIB = ranlib endif # Extra flags to pass to GCC. -+gccwarn := -Wall -Wwrite-strings -Wno-parentheses -Winline -Wbad-function-cast ++gccwarn := -Wall -Wwrite-strings -Wno-parentheses -Winline # This is the program that generates makefile # dependencies from C source files. |