1 files changed, 0 insertions, 20 deletions
diff --git a/data/make/eperm.diff b/data/make/eperm.diff
deleted file mode 100644
index 3107391bd..000000000
--- a/data/make/eperm.diff
+++ /dev/null
@@ -1,20 +0,0 @@
-diff -ur make-4.2.1/job.c make-4.2.1+iPhone/job.c
---- make-4.2.1/job.c	2016-05-21 20:22:32.000000000 +0000
-+++ make-4.2.1+iPhone/job.c	2019-04-09 16:25:23.750618490 +0000
-@@ -2256,7 +2256,7 @@
-     return pid;
- 
-   /* the file might have a strange shell extension */
--  if (errno == ENOENT)
-+  if ((errno == ENOENT) || (errno = EPERM))
-     errno = ENOEXEC;
- 
- # else
-@@ -2278,6 +2278,7 @@
-                  program, makelevel, argv[0]);
-       break;
-     case ENOEXEC:
-+    case EPERM:
-       {
-         /* The file is not executable.  Try it as a shell script.  */
-         const char *shell;