diff options
author | Bruce Momjian | 2008-11-03 15:56:47 +0000 |
---|---|---|
committer | Bruce Momjian | 2008-11-03 15:56:47 +0000 |
commit | a779aa62b619bfb813d134af083ad239589b9678 (patch) | |
tree | c805e9588953b3d7eee3dcb6bf8e203c0a75df8a | |
parent | a45e37dfe5446f41136ffbc6d67d336f3767769d (diff) |
Small shell syntax improvement.
-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 |