diff --git a/gcc/Makefile.in b/gcc/Makefile.in
index 8a1297fa0cb..0eaa67bed09 100644
--- a/gcc/Makefile.in
+++ b/gcc/Makefile.in
@@ -673,7 +673,7 @@ compilations: ${OBJS}
 # Create a list of the language-independent object files so the language
 # subdirectories needn't mention their names explicitly.
 stamp-objlist: Makefile $(OBJS) $(BC_OBJS)
-	echo " $(OBJS) $(BC_OBJS)" | sed -e 's, \([a-z]\), ../\1,g' >stamp-objlist
+	echo " $(OBJS) $(BC_OBJS)" | sed -e 's, \([a-z]\), ../\1,g' -e 's/\.o/$(objext)/g' >stamp-objlist
 
 # We call this executable `xgcc' rather than `gcc'
 # to avoid confusion if the current directory is in the path