# push pool.c over to the kernel

BEGIN {
	printf("/* THIS FILE IS AUTOMATICALLY GENERATED; DO NOT EDIT. */\n");
	printf("/*\n");
	printf(" * The master for this file is /sys/src/libdebugmalloc/pool.c\n");
	printf(" * This file was generated automatically by awk and mk.\n");
	printf(" */\n");
	printf("\n");

	printf("#include	\"u.h\"\n");
	printf("#include	\"../port/lib.h\"\n");
	printf("#include	\"mem.h\"\n");
	printf("#include	\"dat.h\"\n");
	printf("#include	\"fns.h\"\n");
	printf("#include	<pool.h>\n");
	printf("\n");
}

/^#include/ { next; }

{print;}