diff options
Diffstat (limited to 'audio/csound/files/patch-main_c')
-rw-r--r-- | audio/csound/files/patch-main_c | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/audio/csound/files/patch-main_c b/audio/csound/files/patch-main_c deleted file mode 100644 index 76467b981e7c..000000000000 --- a/audio/csound/files/patch-main_c +++ /dev/null @@ -1,20 +0,0 @@ -$FreeBSD$ - ---- main.c.orig Sat Jun 1 19:42:24 2002 -+++ main.c Thu Jul 4 19:32:12 2002 -@@ -92,12 +92,15 @@ - return; - } - -+#ifndef __FreeBSD__ - /* lock all pages into physical memory */ - if (mlockall(MCL_CURRENT | MCL_FUTURE) != 0) { - fprintf(stderr, "csound: cannot lock memory pages: %s\n", - strerror(errno)); - exit(-1); - } -+#endif -+ - /* set round robin mode with max. priority */ - p.sched_priority = sched_get_priority_max(SCHED_RR); - if (sched_setscheduler(0, SCHED_RR, &p) != 0) { |