diff --git a/tools/gitlab/build-mac b/tools/gitlab/build-mac index 701366277fc..20c1054150e 100755 --- a/tools/gitlab/build-mac +++ b/tools/gitlab/build-mac @@ -15,3 +15,4 @@ make -s -j8 cd .. git reset --hard +sleep 2