don't need separate flag after all

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index a977b6938b38a14ed0d43621995d7703becabe2b..f227e4632351eddee5531ad8c1e55154fe25a91b 100644 (file)
--- a/Robust/src/Runtime/runtime.c
+++ b/Robust/src/Runtime/runtime.c
@@ -235,11 +235,7 @@ void flagorand(void * ptr, int ormask, int andmask) {
 
 /* Handler for signals. The signals catch null pointer errors and
    arithmatic errors. */
-#ifdef LINUX
 void myhandler(int sig, siginfo_t *info, void *uap) {
-#else
-void myhandler(int sig, struct __siginfo *info, void *uap) {
-#endif
 #ifdef DEBUG
   printf("sig=%d\n",sig);
   printf("signal\n");