diff options
Diffstat (limited to 'tools/check/chk')
| -rwxr-xr-x | tools/check/chk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/check/chk b/tools/check/chk index 16de110bc1..0ebce4799e 100755 --- a/tools/check/chk +++ b/tools/check/chk @@ -63,7 +63,7 @@ done echo >> ${info} if [ "$failed" == "1" ] ; then - echo "Checks failed. See ${info} for details." + echo "Checks failed. See `pwd`/${info} for details." echo "FAILED" >> ${info} exit 1 else |