diff options
author | sinanmohd <sinan@sinanmohd.com> | 2024-08-28 17:07:17 +0530 |
---|---|---|
committer | sinanmohd <sinan@sinanmohd.com> | 2024-08-28 17:07:17 +0530 |
commit | 4e66751204365fdaf7ae44cd3d11492541dade43 (patch) | |
tree | b89b1d04862a7ad882932eacc3d893e118671bb4 /src | |
parent | d3d67064a1ab6a2ee8faa5d3673c2ada4ba8cd18 (diff) |
evanix: clean up
Diffstat (limited to 'src')
-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 14e987d..6986444 100644 --- a/src/evanix.c +++ b/src/evanix.c @@ -26,7 +26,7 @@ static const char usage[] = " -p, --pipelined <bool> Use evanix build pipeline.\n" " -l, --check_cache-status <bool> Perform cache locality check.\n" " -c, --close-unused-fd <bool> Close stderr on exec.\n" - " -e, --statistics <path> Path to time statistics database.\n" + " -e, --statistics <path> Path to time statistics database.\n" " -k, --solver sjf|conformity|highs Solver to use.\n" "\n"; |