Accidentally turned off output lock. Oops! Fixed.
authorAndrew Waterman <waterman@r53.millennium.berkeley.edu>
Wed, 28 Oct 2009 23:33:26 +0000 (16:33 -0700)
committerAndrew Waterman <waterman@r53.millennium.berkeley.edu>
Wed, 28 Oct 2009 23:33:26 +0000 (16:33 -0700)
commitffdcf2eca5476090c9228627a19f0e84d58bfc41
tree3a30fa9eb1bed00c55e207f0cd5b3318dd3548f5
parent0c47e33ad819aa8b068d4a54651815d963b93e4c
Accidentally turned off output lock.  Oops!  Fixed.
kern/src/printf.c