Modified: branches/vcs-fetch/base/src/port1.0/portfetch.tcl (147245 => 147246)

--- branches/vcs-fetch/base/src/port1.0/portfetch.tcl	2016-03-31 23:47:42 UTC (rev 147245)
+++ branches/vcs-fetch/base/src/port1.0/portfetch.tcl	2016-03-31 23:47:50 UTC (rev 147246)
@@ -469,7 +469,7 @@
     set options "-q"
     if {${git.branch} eq ""} {
         # if we're just using HEAD, we can make a shallow repo
-        set options "$options --depth=1"
+        append options "--depth=1"
     }
 
     ui_info "$UI_PREFIX Cloning ${fetch.type} repository"