# 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