signal handling in gpuspin

1 files changed, 2 insertions, 0 deletions

diff --git a/src/signal.c b/src/signal.c
index 397a797..1bd0f62 100644
--- a/src/signal.c
+++ b/src/signal.c
@@ -99,9 +99,11 @@ void longjmp_on_litmus_signal(int signum)
         lit_env = pop_sigjmp();
         if (lit_env) {
                 /* What you say?! */
+                //printf("%d: we get signal = %d!\n", gettid(), signum);
                 siglongjmp(lit_env->env, signum); /* restores signal mask */
         }
         else {
                 /* silently ignore the signal */
+                //printf("%d: silently ignoring signal.\n", gettid());
         }
 }