Added "style" to GIT_PUSH options.

It omits the style check, and so makes the push a little faster.
Other checks, like size and generated, are still run.

1 files changed, 2 insertions, 2 deletions

diff --git a/scripts/905_git_split b/scripts/905_git_split
index aed1f73..0e954bc 100644
--- a/scripts/905_git_split
+++ b/scripts/905_git_split
@@ -113,7 +113,7 @@ foreach my $module (@repos) {
         chdir($o);
         print("Pushing modules repo to server: $module\n");
         run("git remote add origin git\@scm.dev.nokia.troll.no:qt/$module.git");
-        run("GIT_FORCE=yes-please GIT_PUSH=size,generated,crlf,conflict,giant,alien git push origin +master");
+        run("GIT_FORCE=yes-please GIT_PUSH=size,generated,crlf,conflict,giant,alien,style git push origin +master");
         run("git branch --set-upstream master origin/master");
     }
     chdir($qtdir);
@@ -184,7 +184,7 @@ run("git commit -m \"Long live the qt-bundle Qt repository\" --author \"Qt by No
 if ($run_push) {
     print("Pushing qt-bundle repo to server:\n");
     run("git remote add origin git\@scm.dev.nokia.troll.no:qt/qt-bundle.git");
-    run("GIT_FORCE=yes-please GIT_PUSH=size,generated,crlf,conflict,giant,alien git push origin +master");
+    run("GIT_FORCE=yes-please GIT_PUSH=size,generated,crlf,conflict,giant,alien,style git push origin +master");
     run("git branch --set-upstream master origin/master");
 }