projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db7d1db) | patch
- when ignoring exit codes, ignore exit(-1) also (previously didn't allow '-')
authorGodmar Back <godmar@gmail.com>
Fri, 10 Nov 2006 04:34:20 +0000 (04:34 +0000)
committerGodmar Back <godmar@gmail.com>
Fri, 10 Nov 2006 04:34:20 +0000 (04:34 +0000)
commit36beb03eba5009ca7054a9b32b966bf211e839b8
tree79cf15f5aadbad4e053dd3e7cb574006c8b7bfa3tree | snapshot
parentdb7d1db11685c1dc0d97c41049d26b876211551bcommit | diff
- when ignoring exit codes, ignore exit(-1) also (previously didn't allow '-')
src/tests/tests.pm diff | blob | history
Pintos public repository