projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc0cc9e) | patch
Parse PINTOSOPTS environment variable as extra command-line options.
authorBen Pfaff <blp@cs.stanford.edu>
Mon, 10 Jan 2005 08:14:56 +0000 (08:14 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Mon, 10 Jan 2005 08:14:56 +0000 (08:14 +0000)
commited8a11cc772b5f0a10361adb410503831ae89c7b
treebd13ec9cf41af5d85307baf868efd8d994e07ef7tree | snapshot
parentbc0cc9ec385f55e8dee745f55e25d98908255636commit | diff
Parse PINTOSOPTS environment variable as extra command-line options.
exit 1 on get, put.
Avoid Perl warnings when cwd doesn't contain a project name.
exit 1 for qemu, gsx.
Write serial output to pintos.out under gsx.
src/utils/pintos diff | blob | history
Pintos public repository