Michael Adler 5f42bfcd56 process: separate stderr from stdout ... - Add the option of redirecting stderr to a file. With the old behaviour, stderr would follow stdout if stdout was to a file, but stderr went to the host stderr if stdout went to the host stdout. The new default maintains stdout and stderr going to the host. Now the two can specify different files, but they will share a file descriptor if the name of the files is the same. - Add --output and --errout options to se.py to go with --input.		2008-07-23 14:41:34 -07:00
..
fs.py	Scripts: Check for the appropriate build type as soon as possible.	2008-06-13 01:09:06 -04:00
memtest.py	Fix up a bunch of multilevel coherence issues.	2007-07-15 20:11:06 -07:00
se.py	process: separate stderr from stdout	2008-07-23 14:41:34 -07:00