Using file://// for git clone otherwise --depth might not work

diff --git a/share/hydra/bootless b/share/hydra/bootless
index 65ff1e721466884aa1050dd0c7d2c423cc37764e..75d4a66c7b1879c8af8dcc2279a4705166ee3261 100755 (executable)
--- a/share/hydra/bootless
+++ b/share/hydra/bootless
@@ -109,7 +109,7 @@ EOF
   if [ "$rsync" == "true" ]; then
     $sudo rsync -Cav ${BOOTLESS_DIR}/ ${tmpdir}/boot/
   else
-    $sudo git clone --depth=1 ${BOOTLESS_DIR} ${tmpdir}/boot
+    $sudo git clone --depth=1 file:///${BOOTLESS_DIR} ${tmpdir}/boot
     if [ $? != 0 ]; then
       echo "Error: failed to clone repository \"${BOOTLESS_DIR}\" in \"${tmpdir}\" (errno: $?)."
       exit 1