1 files changed, 20 insertions, 0 deletions
diff --git a/data/make/eperm.diff b/data/make/eperm.diff
new file mode 100644
index 000000000..3107391bd
--- /dev/null
+++ b/data/make/eperm.diff
@@ -0,0 +1,20 @@
+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;