drop DumpBacktrace

It wasn't that helpful; simplifies other platforms to just not use it.

1 files changed, 0 insertions, 9 deletions

diff --git a/src/util.cc b/src/util.cc
index 2eb4559..1968702 100644
--- a/src/util.cc
+++ b/src/util.cc
@@ -14,18 +14,10 @@
 
 #include "util.h"
 
-#include <execinfo.h>
 #include <stdarg.h>
 #include <stdio.h>
 #include <stdlib.h>
 
-void DumpBacktrace(int skip_frames) {
-  void* stack[256];
-  int size = backtrace(stack, 256);
-  ++skip_frames;  // Skip ourselves as well.
-  backtrace_symbols_fd(stack + skip_frames, size - skip_frames, 2);
-}
-
 void Fatal(const char* msg, ...) {
   va_list ap;
   fprintf(stderr, "FATAL: ");
@@ -33,6 +25,5 @@ void Fatal(const char* msg, ...) {
   vfprintf(stderr, msg, ap);
   va_end(ap);
   fprintf(stderr, "\n");
-  DumpBacktrace(1);
   exit(1);
 }