Index: trunk/include/sh_unix.h
===================================================================
--- trunk/include/sh_unix.h	(revision 408)
+++ trunk/include/sh_unix.h	(revision 409)
@@ -375,4 +375,6 @@
 #endif
 void sh_set_save_tv();
+void sh_set_untraced(int val);
+int  sh_get_untraced();
 #endif
 
@@ -394,5 +396,5 @@
 int sh_derr(void)
 {
-  sh_not_traced = 0;
+  sh_set_untraced(0);
 
 #ifdef HAVE_GETTIMEOFDAY
@@ -404,8 +406,8 @@
   raise(SIGTRAP);
   
-  if (sh_not_traced == 0)
+  if (sh_get_untraced() == 0)
     _exit(5);
 
-  sh_not_traced = 0;
+  sh_set_untraced(0);
   return (0);
 }