diff options
-rwxr-xr-x | src/tools/pgindent/pgindent | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent index 99dc17c939..763deb23cb 100755 --- a/src/tools/pgindent/pgindent +++ b/src/tools/pgindent/pgindent @@ -9,7 +9,7 @@ # y = (int) x *y; if [ "$#" -lt 2 ] -then echo "Usage: `basename $0` typedefs file [...]" 1>&2 +then echo "Usage: $(basename $0) typedefs file [...]" 1>&2 exit 1 fi |