--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/gcc/config/i386/t-gmm_malloc Fri Jul 17 14:47:48 2009 +0900 @@ -0,0 +1,6 @@ +# Install gmm_malloc.h as mm_malloc.h. + +EXTRA_HEADERS += mm_malloc.h +mm_malloc.h: $(srcdir)/config/i386/gmm_malloc.h + rm -f $@ + cat $^ > $@