disable -Wbad-function-cast; it's hard/impossible to work around

diff --git a/rts/Makefile b/rts/Makefile
index c3c2b82..e9612a9 100644 (file)
--- a/rts/Makefile
+++ b/rts/Makefile
@@ -96,7 +96,7 @@ WARNING_OPTS += -Wmissing-declarations
 WARNING_OPTS += -Winline
 WARNING_OPTS += -Waggregate-return
 #WARNING_OPTS += -Wpointer-arith
-WARNING_OPTS += -Wbad-function-cast
+#WARNING_OPTS += -Wbad-function-cast
 #WARNING_OPTS += -Wcast-align
 #WARNING_OPTS += -Wnested-externs
 #WARNING_OPTS += -Wshadow