Fix proc_setPri(), which now correctly changes the priority of processes in the ready...
[bertos.git] / .gdbinit
1 # The preemptive task switching interferes with debugging
2 handle SIGUSR1 nostop noprint pass
3 handle SIGALRM nostop noprint pass