X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fmake-file.c;h=bcb62906d4154c39ca2c6749a2b3e330680767ee;hb=dfd1972f7bcb550a4fc3b05dbe7e71d12334b0a7;hp=e4c9234044a687a078d198c2ec85f5385cd4f7dd;hpb=c9a3c45e44c1c03d13d4eb186e3817bc836f75f8;p=pspp-builds.git diff --git a/src/data/make-file.c b/src/data/make-file.c index e4c92340..bcb62906 100644 --- a/src/data/make-file.c +++ b/src/data/make-file.c @@ -22,6 +22,7 @@ #include #include #include +#include #include #include