projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ebebc4) | 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)
commitf2e18d716109879cefc489049a0d8bef072bdd40
treef1c0abb3064c03fddb091df14a369ca1aa10e1f7tree | snapshot
parent6ebebc408e12133c4130923081c40bbfbdd281d4commit | 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