small change for better messages

diff --git a/Robust/src/Runtime/thread.c b/Robust/src/Runtime/thread.c
index ebb24df23881f2e05dec545496a78bac2125f4a8..3b717dff999c27d0e860c3d15c0df6a7e48ca2e8 100644 (file)
--- a/Robust/src/Runtime/thread.c
+++ b/Robust/src/Runtime/thread.c
@@ -115,9 +115,11 @@ transstart:
 }
 
 void threadhandler(int sig, siginfo_t *info, void *uap) {
-#ifdef DEBUG
-  printf("sig=%d\n",sig);
+  printf("We just took sig=%d\n",sig);
   printf("signal\n");
+  printf("To get stack trace, set breakpoint in threadhandler in gdb\n");
+#ifndef MAC
+  backtrace();
 #endif
   threadexit();
 }