Remove abort-on-fail from the default port (#3182)

JerryScript-DCO-1.0-Signed-off-by: Dániel Bátyai dbatyai@inf.u-szeged.hu
2019-10-03 09:50:47 +02:00
parent 6a848a36fd
commit 2180d979b7
3 changed files with 2 additions and 55 deletions
@@ -31,9 +31,6 @@ extern "C"
 * @{
 */

-void jerry_port_default_set_abort_on_fail (bool flag);
-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 level);