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.