X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fthreads%2Falarm-single.c;h=aff206467e771242c1becf9ebe67f376946c5faf;hb=8a3f2e5c0ffdc3a7a33d0238056e728baa18cea6;hp=4681d8983d6bc10755dbd56bc142b63b2f501ba6;hpb=27e2fa0176f088ee129a65130322574f3807c67c;p=pintos-anon

diff --git a/grading/threads/alarm-single.c b/grading/threads/alarm-single.c
index 4681d89..aff2064 100644
--- a/grading/threads/alarm-single.c
+++ b/grading/threads/alarm-single.c
@@ -130,6 +130,7 @@ test_sleep (int thread_cnt, int iterations)
   
   printf ("Test complete.\n");
 
+  lock_release (&test.output_lock);
   free (output);
   free (threads);
 }