X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fcreate-normal.c;h=3cbc4636b821647dccc895de56c48cb018594883;hb=09bbcd059d4ce05bf6b8da829795409e2da9a899;hp=10eba339f26a30cc73260829fcdd8d27c18a2c08;hpb=4ebf33908a571a7cde93fe618902b044e3633cdf;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"