diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/ptxdist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index d5a00782f..9b2fa5395 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -1234,7 +1234,7 @@ while [ "$#" != "0" ]; do echo else echo - echo "${PROMPT}error: test $i not found in PTXDIST_TOPDIR and PTXDIST_WORKSPACE" + echo "${PROMPT}error: Test '$1' not found in PTXDIST_TOPDIR and PTXDIST_WORKSPACE" echo fi fi |