new-driver: Use "git clone --depth 1".

This reduces network load and speeds up the script.

diff --git a/source/new-driver b/source/new-driver
index 9d5c4be0d86ce09d11c3b5fb28885df5255898c6..45906b363ab11540d120170762023a677a9fc489 100755 (executable)
--- a/source/new-driver
+++ b/source/new-driver
@@ -67,7 +67,7 @@ def new_driver():
     tmp = tempfile.mkdtemp()
     try:
         os.chdir(tmp)
-        process = Popen("git clone " + LIBSR, shell=True, stderr=PIPE)
+        process = Popen("git clone --depth=1 " + LIBSR, shell=True, stderr=PIPE)
         out, err = process.communicate()
         if process.returncode:
             raise Exception(err.decode())