X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2FMakefile;h=85ee607f51184d7938a681052e8f7aff7212de00;hb=53c6e81d1cff87ffccfca368adcca8b092f2a0d1;hp=e95e13fdaf032568be18041a61059077f0ed6d03;hpb=ab65396546f21401105c34f5700cda0dae304e8d;p=pintos-anon

diff --git a/grading/userprog/Makefile b/grading/userprog/Makefile
index e95e13f..85ee607 100644
--- a/grading/userprog/Makefile
+++ b/grading/userprog/Makefile
@@ -7,7 +7,8 @@ SINGLETONS = \
 	$(addprefix create-, normal empty null bad-ptr long exists bound) \
 	$(addprefix open-, normal missing boundary empty null bad-ptr twice) \
 	$(addprefix close-, normal twice stdin stdout bad-fd) \
-	$(addprefix read-, normal bad-ptr boundary zero stdout bad-fd)
+	$(addprefix read-, normal bad-ptr boundary zero stdout bad-fd) \
+	$(addprefix write-, normal bad-ptr boundary zero stdin bad-fd)
 
 define SINGLETON_PROG
 PROGS += $(1)