diff options
| -rw-r--r-- | pfinet/linux/errno.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/pfinet/linux/errno.h b/pfinet/linux/errno.h index 339f4fc1..19f5bd78 100644 --- a/pfinet/linux/errno.h +++ b/pfinet/linux/errno.h @@ -1 +1,8 @@ +#ifndef _HACK_ERRNO_H +#define _HACK_ERRNO_H + #include <errno.h> + +#define ERESTARTSYS -1 /* let's hope this is not used */ + +#endif |