X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Ftest.c;h=627bba5fc2e5109dff8a44b6e1fa99d92e5126fb;hb=15aa248a41556196803c75cb4f56ddad05f5d64e;hp=2aeb91001aaa5351d396874a6ac7051d3e0da9c0;hpb=24a570e28d45a8ec1dfb0e83abb78c488155e149;p=pintos-anon

diff --git a/src/threads/test.c b/src/threads/test.c
index 2aeb910..627bba5 100644
--- a/src/threads/test.c
+++ b/src/threads/test.c
@@ -134,6 +134,7 @@ test_sleep (int thread_cnt, int iterations)
   
   printf ("Test complete.\n");
 
+  lock_release (&test.output_lock);
   free (output);
   free (threads);
 }