From 90f2c3d0cad755c42f12cf23a94dd504d7d7c74f Mon Sep 17 00:00:00 2001 From: Bert van der Weerd Date: Thu, 1 Jul 2021 17:26:49 +0200 Subject: [PATCH] updates --- build.py | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/build.py b/build.py index a8f474d..88f7ab0 100755 --- a/build.py +++ b/build.py @@ -195,10 +195,7 @@ def execute_fetch(): leave_srcdir() elif options.src == 'gecko-dev': exec("rm -rf gecko-dev") - exec("git clone --no-checkout --recursive --depth=1 https://github.com/mozilla/gecko-dev.git") - enter_srcdir() - exec("git checkout") - leave_srcdir() + exec("git clone --depth=1 https://github.com/mozilla/gecko-dev.git") def execute_extract(): if options.src == 'release':