diff options
| author | MCApollo <34170230+MCApollo@users.noreply.github.com> | 2019-04-09 16:29:18 +0000 |
|---|---|---|
| committer | Sam Bingner <sam@bingner.com> | 2019-04-10 00:05:21 -1000 |
| commit | b7f8828fe6d4b3877d04a930a2698e7c58828491 (patch) | |
| tree | 04b947e64a6b593cf8c889907b560d1beb7eaa60 | |
| parent | 5ae2399e513a9c39f0ca5c1d262f469bf5374e07 (diff) | |
Make - Use fallback for shell scripts (patch).
| -rw-r--r-- | data/make/eperm.diff | 20 |
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; |