diff options
Diffstat (limited to 'redo.c')
| -rw-r--r-- | redo.c | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/redo.c b/redo.c index 8f0595e..4c9cbea 100644 --- a/redo.c +++ b/redo.c @@ -508,13 +508,12 @@ djb-style default.o.do: system("ls -l /proc/$$/fd"); - // TODO -x optional if (shellwrap) - execl("/bin/sh", "/bin/sh", "-e", "-x", dofile, - target, basename, temp_target, (char *) 0); + execl("/bin/sh", "/bin/sh", xflag > 0 ? "-ex" : "-e", + dofile, target, basename, temp_target, (char *) 0); else - execl(dofile, dofile, - target, basename, temp_target, (char *) 0); + execl(dofile, + dofile, target, basename, temp_target, (char *) 0); exit(-1); } else { close(dep_fd); |