diff options
author | Sergey Bugaev <bugaevc@gmail.com> | 2024-03-27 19:18:35 +0300 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-03-27 19:52:28 +0100 |
commit | b5a1c677cae00261962ccfc31f33bc826539fc23 (patch) | |
tree | b853766e6824efb069f1cefa710a89deba2aa0be /tests/include | |
parent | 62e3c40ebb090e24c70a38c13957f5a02857383e (diff) | |
download | gnumach-b5a1c677cae00261962ccfc31f33bc826539fc23.tar.gz gnumach-b5a1c677cae00261962ccfc31f33bc826539fc23.tar.bz2 gnumach-b5a1c677cae00261962ccfc31f33bc826539fc23.zip |
tests: Fix halt()
Mark it as noreturn, and make sure to halt, not reboot.
Message-ID: <20240327161841.95685-12-bugaevc@gmail.com>
Diffstat (limited to 'tests/include')
-rw-r--r-- | tests/include/testlib.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/include/testlib.h b/tests/include/testlib.h index a3f3a6a8..cdb2ce13 100644 --- a/tests/include/testlib.h +++ b/tests/include/testlib.h @@ -63,7 +63,7 @@ extern const char* TEST_FAILURE_MARKER; const char* e2s(int err); const char* e2s_gnumach(int err); -void halt(); +extern void __attribute__((noreturn)) halt(); int msleep(uint32_t timeout); thread_t test_thread_start(task_t task, void(*routine)(void*), void* arg); |