diff --git a/src/c/unixint.d b/src/c/unixint.d index 435b66f..5ff4fed 100644 --- a/src/c/unixint.d +++ b/src/c/unixint.d @@ -666,9 +666,12 @@ signal_validate(int sig) { int i, known = 0; - for (i = 0; known_signals[i].code >= 0; i++) - if (known_signals[i].code == sig) + for (i = 0; known_signals[i].code >= 0; i++) { + if (known_signals[i].code == sig) { known = 1; + break; + } + } if (known == 0) FEerror("Unknown signal number ~A.", 1, MAKE_FIXNUM(sig));