diff options
| -rw-r--r-- | data/make/eperm.diff | 20 | ||||
| -rw-r--r-- | data/make/shebang.diff | 11 |
2 files changed, 11 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; diff --git a/data/make/shebang.diff b/data/make/shebang.diff new file mode 100644 index 000000000..de37cf71d --- /dev/null +++ b/data/make/shebang.diff @@ -0,0 +1,11 @@ +diff -ur make-4.2.1/job.c make-4.2.1+iPhone/job.c +--- make-4.2.1/job.c 2016-05-21 10:22:32.000000000 -1000 ++++ make-4.2.1+iPhone/job.c 2019-04-09 23:49:32.000000000 -1000 +@@ -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; |