Index: tools/gdb/.gdbinit
===================================================================
--- tools/gdb/.gdbinit	(revision 1cfdee94f316eb368ff361b58a931a686ee54aba)
+++ tools/gdb/.gdbinit	(revision 1cfdee94f316eb368ff361b58a931a686ee54aba)
@@ -0,0 +1,9 @@
+# These signal are necessary for Cforall, so tell gdb to ignore them
+# and pass to through to the program.
+handle SIGALRM nostop noprint pass
+handle SIGUSR1 nostop noprint pass
+# Load macros to make gdb understand uC++ user-threads
+source /home/tdelisle/workspace/gdb/utils-gdb.gdb
+source /home/tdelisle/workspace/gdb/utils-gdb.py
+# Have gdb indent complex values to make them readable.
+set print pretty