Merge remote-tracking branch 'public/bug14988_025'

2024-12-06 19:41:15 +01:00 · 2015-02-23 11:33:07 -05:00
parent cf7aa7b926 aeb38bbdce
commit 7a1a0a4cd7
2 changed files with 5 additions and 0 deletions
@@ -80,6 +80,7 @@ clean_backtrace(void **stack, int depth, const ucontext_t *ctx)
 #else
  (void) depth;
  (void) ctx;
+  (void) stack;
 #endif
 }