rts: Ignore signal before deleting timer. Fixes #7303.
[ghc.git] / rts / posix /
drwxr-xr-x   ..
-rw-r--r-- 677 Clock.h
-rw-r--r-- 1087 GetEnv.c
-rw-r--r-- 5632 GetTime.c
-rw-r--r-- 5729 Itimer.c
-rw-r--r-- 319 Itimer.h
-rw-r--r-- 7614 OSMem.c
-rw-r--r-- 6995 OSThreads.c
-rw-r--r-- 9623 Select.c
-rw-r--r-- 439 Select.h
-rw-r--r-- 17946 Signals.c
-rw-r--r-- 768 Signals.h
-rw-r--r-- 1615 TTY.c
-rw-r--r-- 346 TTY.h