diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/bin/scripts/vacuumdb.rej | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/src/bin/scripts/vacuumdb.rej b/src/bin/scripts/vacuumdb.rej deleted file mode 100644 index 0a128c74968..00000000000 --- a/src/bin/scripts/vacuumdb.rej +++ /dev/null @@ -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) |