diff options
author | Dimitrios Apostolou <dimitrios.apostolou@qt.io> | 2019-07-03 15:55:04 +0200 |
---|---|---|
committer | Dimitrios Apostolou <dimitrios.apostolou@qt.io> | 2019-07-04 10:09:22 +0000 |
commit | ebf96f7ff4ee2cfe2bc356c098c1529388707498 (patch) | |
tree | ace711f6308aad4c189265e3c71701144111137b /puppet | |
parent | 7cc9ef577727a033c29393e620f1dec2b5ec4d42 (diff) |
Print error in case git pull fails
Change-Id: I1346217736e7de079153ac6aaa733df2e4adccec
Reviewed-by: Volker Hilsheimer <volker.hilsheimer@qt.io>
Diffstat (limited to 'puppet')
-rwxr-xr-x | puppet/sync_and_run.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/puppet/sync_and_run.pl b/puppet/sync_and_run.pl index 9d206d4..6ae9c21 100755 --- a/puppet/sync_and_run.pl +++ b/puppet/sync_and_run.pl @@ -355,7 +355,7 @@ sub update_git_dir # If our git repo has somehow become out of sync, these commands will warn about it. # Note that we warn, instead of dying, because puppet should still run if at all possible # (e.g. puppet should still run if the git server is down). - system_or_carp( qw(git pull -q) ); + system_or_carp( qw(git pull) ); system_or_carp( qw(git --no-pager diff) ); chdir_or_die( $DIR ); |