blob: 3107391bdd07d8a226102caa93673ff494ef091f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
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;
|
