From c84a70be1761c8fcf9b18660e97ede837804b42d Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 7 Nov 2006 02:25:28 +0000
Subject: [PATCH] add linux support

---
 Robust/src/Runtime/runtime.c | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index 971a1829..a977b693 100644
--- a/Robust/src/Runtime/runtime.c
+++ b/Robust/src/Runtime/runtime.c
@@ -235,8 +235,11 @@ 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");
@@ -328,7 +331,7 @@ void executetasks() {
       struct timeval timeout={0,0};
       fd_set tmpreadfds;
       int numselect;
-      FD_COPY(&readfds, &tmpreadfds);
+      tmpreadfds=readfds;
       numselect=select(maxreadfd, &tmpreadfds, NULL, NULL, &timeout);
       if (numselect>0) {
 	/* Process ready fd's */
-- 
2.34.1