More file pathname normalization.

FossilOrigin-Name: fa8c12921f8361f1889724bb7c5f7eca9c48b075
2016-03-14 14:59:35 +00:00
parent bea14132cf
commit e500f65a2c
3 changed files with 9 additions and 7 deletions
@@ -457,6 +457,7 @@ if {[info exists cmdlinearg]==0} {
      }
      {^-+binarylog=.+$} {
        foreach {dummy cmdlinearg(binarylog)} [split $a =] break
+        set cmdlinearg(binarylog) [file normalize $cmdlinearg(binarylog)]
      }
      {^-+soak=.+$} {
        foreach {dummy cmdlinearg(soak)} [split $a =] break
@@ -489,6 +490,7 @@ if {[info exists cmdlinearg]==0} {

      {^-+output=.+$} {
        foreach {dummy cmdlinearg(output)} [split $a =] break
+        set cmdlinearg(output) [file normalize $cmdlinearg(output)]
        if {$cmdlinearg(verbose)==""} {
          set cmdlinearg(verbose) 2
        }