2019-12-23 00:00:34 +01:00
|
|
|
--- ./src/file.c.orig 2017-12-13 17:48:59.000000000 +0000
|
|
|
|
+++ ./src/file.c 2017-12-30 00:00:31.625092570 +0000
|
|
|
|
@@ -53,7 +53,7 @@
|
2019-06-16 13:58:52 +02:00
|
|
|
#include <unistd.h>
|
|
|
|
#include <wchar.h>
|
|
|
|
#include <sys/wait.h>
|
|
|
|
-#include <wordexp.h>
|
2019-12-23 00:00:34 +01:00
|
|
|
+#include "wordexp.h"
|
2019-06-16 13:58:52 +02:00
|
|
|
|
|
|
|
#include "conf.h"
|
|
|
|
#include "maps.h"
|
2019-12-23 00:00:34 +01:00
|
|
|
@@ -829,7 +829,7 @@
|
|
|
|
(void) dup(pipefd[3]); // connect to second pipe
|
|
|
|
}
|
|
|
|
(void) signal(SIGINT, SIG_DFL); // reset
|
|
|
|
- execl("/bin/sh", "sh", "-c", efname, 0, (char *) NULL);
|
|
|
|
+ execl("@TERMUX_PREFIX@/bin/sh", "sh", "-c", efname, 0, (char *) NULL);
|
|
|
|
exit (-127);
|
|
|
|
} else { // else parent
|
|
|
|
*rpid = pid;
|