diff options
| author | sinanmohd <sinan@sinanmohd.com> | 2024-07-12 18:31:21 +0530 |
|---|---|---|
| committer | sinanmohd <sinan@sinanmohd.com> | 2024-07-12 18:31:21 +0530 |
| commit | 5d33ec071cba04d0684b7be465f42163b92dd7ed (patch) | |
| tree | dc6b507af8cdf159bdc3fc29b264dd9cf362974d | |
| parent | d1ae1c718a063e1bb9660f94b747d9206a8bba83 (diff) | |
evanix: close-stderr-exec -> close-unused-fd
| -rw-r--r-- | src/evanix.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/evanix.c b/src/evanix.c index da2fa1a..2fd5a61 100644 --- a/src/evanix.c +++ b/src/evanix.c @@ -109,7 +109,7 @@ int main(int argc, char *argv[]) {"solver-report", no_argument, NULL, 'r'}, {"max-build", required_argument, NULL, 'm'}, {"pipelined", required_argument, NULL, 'p'}, - {"close-stderr-exec", required_argument, NULL, 'c'}, + {"close-unused-fd", required_argument, NULL, 'c'}, {NULL, 0, NULL, 0}, }; |