# Install pmm_malloc.h as mm_malloc.h.

EXTRA_HEADERS += mm_malloc.h
mm_malloc.h: $(srcdir)/config/i386/pmm_malloc.h
        rm -f $@
        cat $^ > $@
