X-Git-Url: https://diplodocus.org/git/nmh/blobdiff_plain/93cf33c07eed0e56b4f3a0d1c07ff183ac1510ef..98e2ac4aa016aecbca7e9b8e8bcb8ecfa7bba1b5:/uip/msh.c

diff --git a/uip/msh.c b/uip/msh.c
index 23398217..43530db3 100644
--- a/uip/msh.c
+++ b/uip/msh.c
@@ -25,7 +25,7 @@
 #include <termios.h>
 
 #include <pwd.h>
-#include <setjmp.h>
+#include <h/m_setjmp.h>
 #include <signal.h>
 #include <h/msh.h>
 #include <h/vmhsbr.h>
@@ -1919,7 +1919,7 @@ pFIN (void)
 {
     int status;
 
-    switch (setjmp (peerenv)) {
+    switch (m_setjmp (peerenv)) {
 	case OK: 
 	    SIGNAL (SIGALRM, alrmser);
 	    alarm (ALARM);