Move log level to default port

Setting the log level should be specified by the actual port. JerryScript-DCO-1.0-Signed-off-by: László Langó llango.u-szeged@partner.samsung.com
2016-07-14 14:31:08 +02:00
parent fa94c67ee7
commit f0fd939d87
6 changed files with 41 additions and 38 deletions
@@ -17,6 +17,8 @@
 #ifndef JERRY_PORT_DEFAULT_H
 #define JERRY_PORT_DEFAULT_H

+#include "jerry-port.h"
+
 #include <stdbool.h>

 #ifdef __cplusplus
@@ -32,6 +34,9 @@ extern "C"
 void jerry_port_default_set_abort_on_fail (bool);
 bool jerry_port_default_is_abort_on_fail (void);

+jerry_log_level_t jerry_port_default_get_log_level (void);
+void jerry_port_default_set_log_level (jerry_log_level_t);
+
 /**
 * @}
 */