mirror of https://github.com/postgres/postgres
parent
d7857e5713
commit
60ae5ed037
@ -1,17 +0,0 @@ |
||||
*************** |
||||
*** 80,86 **** |
||||
dbname=`echo $1 | sed 's/^--dbname=//'` |
||||
;; |
||||
--database=*) |
||||
! dbname=`echo $1 | sed 's/^-database=//'` |
||||
;; |
||||
# options converted into SQL command |
||||
--analyze|-z) |
||||
--- 80,86 ---- |
||||
dbname=`echo $1 | sed 's/^--dbname=//'` |
||||
;; |
||||
--database=*) |
||||
! dbname=`echo $1 | sed 's/^--database=//'` |
||||
;; |
||||
# options converted into SQL command |
||||
--analyze|-z) |
||||
Loading…
Reference in new issue