?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 82275dd) | patch
Use test -f because Solaris sh does not support -e.
commitb5c5aa7bb65a86e6c1b738d00f6b696cee071673
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 30 Jun 2006 00:51:42 +0000 (30 00:51 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 30 Jun 2006 00:51:42 +0000 (30 00:51 +0000)
tree20ee492e7e833c1e8242a41e74db6d6897bac592tree | snapshot (tar.gz zip)
parent82275ddcab939b6cec6bf4a09cdd2954e71e7f53commit | diff
Use test -f because Solaris sh does not support -e.
(Idiots can't read POSIX spec I guess.)
src/utils/pintos-gdb diff | blob | blame | history
Pintos educational operating system