POK
errorignore.c
1 /*
2  * POK header
3  *
4  * The following file is a part of the POK project. Any modification should
5  * made according to the POK licence. You CANNOT use this file or a part of
6  * this file is this part of a file for your own project
7  *
8  * For more information on the POK licence, please see our LICENCE FILE
9  *
10  * Please follow the coding guidelines described in doc/CODING_GUIDELINES
11  *
12  * Copyright (c) 2007-2009 POK team
13  *
14  * Created by julien on Fri Jan 23 15:28:31 2009
15  */
16 
17 #include <core/dependencies.h>
18 
19 #ifdef POK_NEEDS_ERROR_HANDLING
20 #include <types.h>
21 #include <core/error.h>
22 
23 #ifdef POK_NEEDS_DEBUG
24 #include <libc/stdio.h>
25 #endif
26 
27 void pok_error_ignore (const uint32_t error_id, const uint32_t thread_id)
28 {
29  pok_error_log (error_id, thread_id);
30  return;
31 }
32 
33 #endif