X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fthreads%2Ftests.h;h=46d99f8828d27f92f622816c70819844d528f54c;hb=2791793b038dec7e3365d6570bff5c3afaaa188c;hp=93c61ec78c7cc6a03ddbcab4bd362b02f6579fdb;hpb=7e97928e155c19be56010f3f8ec2dc8f03c6985c;p=pintos-anon

diff --git a/src/tests/threads/tests.h b/src/tests/threads/tests.h
index 93c61ec..46d99f8 100644
--- a/src/tests/threads/tests.h
+++ b/src/tests/threads/tests.h
@@ -14,6 +14,7 @@ extern test_func test_priority_change;
 extern test_func test_priority_donate_one;
 extern test_func test_priority_donate_multiple;
 extern test_func test_priority_donate_multiple2;
+extern test_func test_priority_donate_sema;
 extern test_func test_priority_donate_nest;
 extern test_func test_priority_fifo;
 extern test_func test_priority_preempt;