diff options
| -rwxr-xr-x | bin/ptxdist | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 5c2f19154..a5eb5e257 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -2035,7 +2035,10 @@ EOF exit 1 ;; *) - usage + echo "ptxdist: '${cmd}' is not a PTXdist command." + echo + echo "Run '${0}' for a list of commands and options or '${0} --help' for more details." + echo exit 1 ;; esac |