diff options
| -rwxr-xr-x | bin/ptxdist | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 65789cd7d..b8b5e995c 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -895,6 +895,7 @@ Options: --debug, -d print out additional info (like make decisions) --quiet, -q suppress output, show only stderr + --verbose, -v be more verbose, print command before execute them --j-intern=<n>, -ji<n> set number of parallel builds in packages (default = 2*CPUs) |