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;