diff --git a/gcc/Makefile.in b/gcc/Makefile.in
index 742775d60d8..e90545fff7d 100644
--- a/gcc/Makefile.in
+++ b/gcc/Makefile.in
@@ -689,6 +689,7 @@ cc1obj: $(P) $(OBJC_OBJS) $(OBJS) $(BC_OBJS) $(LIBDEPS)
 
 # Copy float.h from its source.
 gfloat.h: $(FLOAT_H)
+	rm -f gfloat.h
 	cp $(FLOAT_H) gfloat.h
 
 # Create float.h source for the native machine.