X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fmake-file.c;h=807adc50d9d112de7b47459f0a06a98a4786651f;hb=c90c44ab307b3ba49f606d2bae80e6aff1e228d7;hp=f8719dc67223d6cd1f44be998f49632ac5bdf0ce;hpb=707848060e414fe93458834446dd7cdbf800667f;p=pspp

diff --git a/src/data/make-file.c b/src/data/make-file.c
index f8719dc672..807adc50d9 100644
--- a/src/data/make-file.c
+++ b/src/data/make-file.c
@@ -21,6 +21,7 @@
 #include <string.h>
 #include <errno.h>
 #include <stdio.h>
+#include <sys/stat.h>
 
 #include <data/file-name.h>
 #include <data/make-file.h>