summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/mpdir/makecpool.c
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/mpdir/makecpool.c')
-rw-r--r--Build/source/texk/web2c/mpdir/makecpool.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/mpdir/makecpool.c b/Build/source/texk/web2c/mpdir/makecpool.c
index 9130f3cb924..7d37035b9fd 100644
--- a/Build/source/texk/web2c/mpdir/makecpool.c
+++ b/Build/source/texk/web2c/mpdir/makecpool.c
@@ -1,3 +1,6 @@
+/* Copyright 2007, 2008 Taco Hoekwater.
+ You may freely use, modify and/or distribute this file. */
+
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
@@ -16,6 +19,7 @@ int main(int argc, char *argv[]) {
"/* This file is auto-generated by makecpool */\n"
"\n"
"#include <stdio.h>\n"
+ "#include <strings.h>\n"
"#include \"%s\"\n"
"\n"
"static char *poolfilearr[] = {\n",headername);