X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fpage-linear.exp;h=4125d1335828ef22e62e0a77311eb75f29873c82;hb=dc17c571d79b596194b88c50d5113e4a1b2f2238;hp=291183b0bf5f060b33f85649f52ca2902fa5408b;hpb=c49ca891e62eb091e3c923a77bf2ea907d73220f;p=pintos-anon diff --git a/grading/vm/page-linear.exp b/grading/vm/page-linear.exp index 291183b..4125d13 100644 --- a/grading/vm/page-linear.exp +++ b/grading/vm/page-linear.exp @@ -3,4 +3,3 @@ (page-linear) read/modify/write pass two (page-linear) read pass (page-linear) end -page-linear: exit(0)