|
@@ -90,7 +90,7 @@ static int xterm_open(int input, int output, int primary, void *d,
|
|
|
int pid, fd, new, err;
|
|
|
char title[256], file[] = "/tmp/xterm-pipeXXXXXX";
|
|
|
char *argv[] = { terminal_emulator, title_switch, title, exec_switch,
|
|
|
- "/usr/lib/uml/port-helper", "-uml-socket",
|
|
|
+ OS_LIB_PATH "/uml/port-helper", "-uml-socket",
|
|
|
file, NULL };
|
|
|
|
|
|
if (access(argv[4], X_OK) < 0)
|