Merge 72de347fb7 into d4dd6511b9

2017-06-02 18:11:25 +00:00 · 2017-06-02 18:11:25 +00:00 · b1dd49d9da
commit b1dd49d9da
parent d4dd6511b9 72de347fb7
1 changed files with 1 additions and 0 deletions
--- a/minix/kernel/utility.c
+++ b/minix/kernel/utility.c
@ -36,6 +36,7 @@ void panic(const char *fmt, ...)
  }

  printf("kernel on CPU %d: ", cpuid);
+  va_end(arg)
  util_stacktrace();

 #if 0