X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fcreate-normal.c;h=3cbc4636b821647dccc895de56c48cb018594883;hb=a03618133f7df0954802a470a4bee7674f7aed45;hp=10eba339f26a30cc73260829fcdd8d27c18a2c08;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon diff --git a/src/tests/userprog/create-normal.c b/src/tests/userprog/create-normal.c index 10eba33..3cbc463 100644 --- a/src/tests/userprog/create-normal.c +++ b/src/tests/userprog/create-normal.c @@ -1,3 +1,5 @@ +/* Creates an ordinary empty file. */ + #include "tests/lib.h" #include "tests/main.h"