X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fpt-write-code.exp;h=f048fc6a3a4fe14eb3cb5f696dace028a0e096a4;hb=398a06d84861eef6d609dbefe0295fbb0ea9e422;hp=e69de29bb2d1d6434b8b29ae775ad8c2e48c5391;hpb=b39736b0506a065e5b9980f7926d9c6c663f242f;p=pintos-anon

diff --git a/grading/vm/pt-write-code.exp b/grading/vm/pt-write-code.exp
index e69de29..f048fc6 100644
--- a/grading/vm/pt-write-code.exp
+++ b/grading/vm/pt-write-code.exp
@@ -0,0 +1 @@
+(pt-write-code) begin