diff options
author | Bruce Momjian | 2008-01-16 20:13:44 +0000 |
---|---|---|
committer | Bruce Momjian | 2008-01-16 20:13:44 +0000 |
commit | be81e5bdd04babc7c07ce421dd54d4d3a5e17d0b (patch) | |
tree | ac0034974c145e305a86960bcfdc85415925d88a | |
parent | ff06616490a38dedee10f7670bbb2cdfe3de5e8d (diff) |
Improve usage message for pgindent.
-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 dc9cff93e6..766a2ead8e 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: $0 typedefs file [...]" 1>&2 +then echo "Usage: `basename $0` typedefs file [...]" 1>&2 exit 1 fi |