diff --git a/segfaults.patch b/segfaults.patch deleted file mode 100644 index 0087f7723..000000000 --- a/segfaults.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff -ruN common_linux.h.orig common_linux.h ---- common_linux.h.orig 2012-04-23 11:27:55.000000000 +0800 -+++ common_linux.h 2012-05-08 23:43:00.000000000 +0800 -@@ -77,7 +77,7 @@ - #else - //Fixed randomly SEGFAULT when nodemask==NULL with above Linux 2.6.34 - // unsigned long null_nodemask=0; -- return syscall(SYS_mbind, addr, len, mode, nodemask, maxnode, flags); -+ return 0; - #endif - } -