summaryrefslogtreecommitdiff
path: root/data
diff options
context:
space:
mode:
Diffstat (limited to 'data')
-rw-r--r--data/make/eperm.diff20
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;