summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-lang/polyml/files/polyml-5.5.1-mprotect-exec.patch')
-rw-r--r--dev-lang/polyml/files/polyml-5.5.1-mprotect-exec.patch29
1 files changed, 0 insertions, 29 deletions
diff --git a/dev-lang/polyml/files/polyml-5.5.1-mprotect-exec.patch b/dev-lang/polyml/files/polyml-5.5.1-mprotect-exec.patch
deleted file mode 100644
index 3ead4877e7b3..000000000000
--- a/dev-lang/polyml/files/polyml-5.5.1-mprotect-exec.patch
+++ /dev/null
@@ -1,29 +0,0 @@
---- polyml.5.5.1-orig/libpolyml/memmgr.cpp 2013-07-10 22:56:07.000000000 +1000
-+++ polyml.5.5.1/libpolyml/memmgr.cpp 2014-02-10 14:08:51.866219101 +1100
-@@ -80,7 +80,7 @@
- // Allocate the heap itself.
- size_t iSpace = size*sizeof(PolyWord);
- bottom =
-- (PolyWord*)osMemoryManager->Allocate(iSpace, PERMISSION_READ|PERMISSION_WRITE|PERMISSION_EXEC);
-+ (PolyWord*)osMemoryManager->Allocate(iSpace, PERMISSION_READ|PERMISSION_EXEC);
-
- if (bottom == 0)
- return false;
-@@ -359,7 +359,7 @@
- // Allocate the memory itself.
- size_t iSpace = size*sizeof(PolyWord);
- space->bottom =
-- (PolyWord*)osMemoryManager->Allocate(iSpace, PERMISSION_READ|PERMISSION_WRITE|PERMISSION_EXEC);
-+ (PolyWord*)osMemoryManager->Allocate(iSpace, PERMISSION_READ|PERMISSION_EXEC);
-
- if (space->bottom == 0)
- {
-@@ -728,7 +728,7 @@
- LocalMemSpace *space = lSpaces[i];
- if (! space->isMutable)
- osMemoryManager->SetPermissions(space->bottom, (char*)space->top - (char*)space->bottom,
-- on ? PERMISSION_READ|PERMISSION_EXEC : PERMISSION_READ|PERMISSION_EXEC|PERMISSION_WRITE);
-+ on ? PERMISSION_READ|PERMISSION_EXEC : PERMISSION_READ|PERMISSION_WRITE);
- }
- }
- }