projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Wording fixes.
[pintos-anon]
/
src
/
lib
/
user
/
console.c
diff --git
a/src/lib/user/console.c
b/src/lib/user/console.c
index d2b9dc72f44899704d14fc48f113e269cea5b0fc..22bdc8c8b23dbd4a4b70df662738cb7c282ce7a1 100644
(file)
--- a/
src/lib/user/console.c
+++ b/
src/lib/user/console.c
@@
-1,4
+1,5
@@
#include <stdio.h>
+#include <string.h>
#include <syscall.h>
#include <syscall-nr.h>
@@
-29,8
+30,7
@@
hprintf (int handle, const char *format, ...)
int
puts (const char *s)
{
- while (*s != '\0')
- putchar (*s++);
+ write (STDOUT_FILENO, s, strlen (s));
putchar ('\n');
return 0;