X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fthreads%2Falarm-priority.ck;h=b57c78b38163c97d84ba82e73058df1876e207f0;hb=3edcfedb8e62970f3293fa676b6691f8658c3c11;hp=c62b024944b0e16d63921b836a4f04ab3b071ef7;hpb=225e6b43b823eec0f3eef093f697c0b62538344f;p=pintos-anon

diff --git a/src/tests/threads/alarm-priority.ck b/src/tests/threads/alarm-priority.ck
index c62b024..b57c78b 100644
--- a/src/tests/threads/alarm-priority.ck
+++ b/src/tests/threads/alarm-priority.ck
@@ -16,3 +16,4 @@ check_expected ([<<'EOF']);
 (alarm-priority) Thread priority 21 woke up.
 (alarm-priority) end
 EOF
+pass;