1# Install pmm_malloc.h as mm_malloc.h.
2
3EXTRA_HEADERS += mm_malloc.h
4mm_malloc.h: $(srcdir)/config/i386/pmm_malloc.h
5	rm -f $@
6	cat $^ > $@
7