| commit | ef9ce1d0a556211687cec6a782de366407255f41 | [log] [tgz] |
|---|---|---|
| author | Wink Saville <wink@google.com> | Tue Apr 21 10:00:16 2009 -0700 |
| committer | Wink Saville <wink@google.com> | Tue Apr 21 10:00:16 2009 -0700 |
| tree | 6227c6102e0bd412ffc5ac6c5ef4033d6bc0e293 | |
| parent | 05f66b6836ffa4a0a309a4909cb3f8c4a7351727 [diff] |
Change -p command to use stdout instead of stderr.
diff --git a/subcmds/forall.py b/subcmds/forall.py index 478b3c7..8d701a6 100644 --- a/subcmds/forall.py +++ b/subcmds/forall.py
@@ -145,7 +145,7 @@ mirror = self.manifest.IsMirror out = ForallColoring(self.manifest.manifestProject.config) - out.redirect(sys.stderr) + out.redirect(sys.stdout) rc = 0 first = True