Fix unhandled switch warning (#15)

* Run CI on pull request * Fix unhandled switch warning Signed-off-by: mikee47 <mike@sillyhouse.net>
slaff · Nov 2, 2022 · 2c9a809 · 2c9a809
1 parent 167231b
commit 2c9a809
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 1 deletion.
diff --git a/.github/workflows/ci-push.yml b/.github/workflows/ci-push.yml
@@ -1,6 +1,6 @@
 name: CI Push
 
-on: [push]
+on: [push, pull_request]
 
 jobs:
   build:

diff --git a/jerryscript.patch b/jerryscript.patch
@@ -194,3 +194,16 @@ index 91bb3fe3..1f0f1d35 100644
  } jerry_fatal_code_t;
 
  /**
+diff --git a/jerry-core/jrt/jrt-fatals.c b/jerry-core/jrt/jrt-fatals.c
+index 36c02277..94d0934f 100644
+--- a/jerry-core/jrt/jrt-fatals.c
++++ b/jerry-core/jrt/jrt-fatals.c
+@@ -29,7 +29,7 @@
+ void JERRY_ATTR_NORETURN
+ jerry_fatal (jerry_fatal_code_t code) /**< status code */
+ {
+-#ifndef JERRY_NDEBUG
++#if 0
+   switch (code)
+   {
+     case ERR_OUT_OF_MEMORY: