From b7f8828fe6d4b3877d04a930a2698e7c58828491 Mon Sep 17 00:00:00 2001 From: MCApollo <34170230+MCApollo@users.noreply.github.com> Date: Tue, 9 Apr 2019 16:29:18 +0000 Subject: Make - Use fallback for shell scripts (patch). --- data/make/eperm.diff | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 data/make/eperm.diff 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; -- cgit v1.2.3