diff options
author | Pierre GRANDIN <grandinp@altern.org> | 2015-08-18 13:32:00 -0700 |
---|---|---|
committer | Pierre GRANDIN <grandinp@altern.org> | 2015-08-18 13:32:00 -0700 |
commit | 5a2e23b6545511864c3764572b0b0235c660db25 (patch) | |
tree | 350c57af73363af6ed5dd447a71f66f5fa60b718 | |
parent | aeba92bda0f6e49d6b7dc59c636efbf9fae24af7 (diff) | |
download | navit-5a2e23b6545511864c3764572b0b0235c660db25.tar.gz |
Disabled git diff pager, makes the CI process to hang
-rw-r--r-- | ci/import_translations.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/import_translations.sh b/ci/import_translations.sh index 42dcda5cc..26e15f877 100644 --- a/ci/import_translations.sh +++ b/ci/import_translations.sh @@ -38,6 +38,6 @@ for i in po/import_queue/*.po; do sed '1,/msgid ""/ d' ${i} >> po/${po}.in # Yay, we should have a clean .po file now! - git diff po/${po}.in + git --no-pager diff po/${po}.in done |