Gitiles
Code Review Sign In
gerrit.opencord.org / repo / a9399846faa077a8eb15aedb8b498cba7cf3aeba
commita9399846faa077a8eb15aedb8b498cba7cf3aeba[log] [tgz]
authorSebastian Schuberth <sschuberth@gmail.com>Fri Jul 13 11:47:10 2018 +0200
committerSebastian Schuberth <sschuberth@gmail.com>Fri Jul 13 16:23:50 2018 +0200
tree089048ac29d73f4984d13133ab5de7099b04d27b
parentb10f0e5b9a9ba6d8e9a27b3a81d2fc1d65d9810d [diff]
Flush stderr on Windows

While on Linux stderr is unbuffered, it is buffered on Windows. Always
flush stderr on Windows to ensure any error messages appear in the right
order to ease diagnosing.

Change-Id: I37300e384ecd3a51a321a48818f0114d6f3357a0
1 file changed
tree: 089048ac29d73f4984d13133ab5de7099b04d27b
  1. .flake8
  2. .gitattributes
  3. .gitignore
  4. .mailmap
  5. .project
  6. .pydevproject
  7. COPYING
  8. README.md
  9. SUBMITTING_PATCHES.md
  10. color.py
  11. command.py
  12. docs/
  13. editor.py
  14. error.py
  15. event_log.py
  16. git_command.py
  17. git_config.py
  18. git_refs.py
  19. git_ssh
  20. gitc_utils.py
  21. hooks/
  22. main.py
  23. manifest_xml.py
  24. pager.py
  25. platform_utils.py
  26. platform_utils_win32.py
  27. progress.py
  28. project.py
  29. pyversion.py
  30. repo
  31. subcmds/
  32. tests/
  33. trace.py
  34. wrapper.py
README.md

repo

Repo is a tool built on top of Git. Repo helps manage many Git repositories, does the uploads to revision control systems, and automates parts of the development workflow. Repo is not meant to replace Git, only to make it easier to work with Git. The repo command is an executable Python script that you can put anywhere in your path.