projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Pass return code from main() to exit().
[pintos-anon]
/
src
/
lib
/
stdio.c
diff --git
a/src/lib/stdio.c
b/src/lib/stdio.c
index 95dfdbe66273b8c8557813e0064b9f60b08afd0f..d223d1065a61ca2f6df986bc219aad0b48f0afdd 100644
(file)
--- a/
src/lib/stdio.c
+++ b/
src/lib/stdio.c
@@
-552,17
+552,6
@@
__printf (const char *format,
__vprintf (format, args, output, aux);
va_end (args);
}
__vprintf (format, args, output, aux);
va_end (args);
}
-
-/* Writes string S to the console, followed by a new-line
- character. */
-int
-puts (const char *s)
-{
- while (*s != '\0')
- putchar (*s++);
- putchar ('\n');
- return 0;
-}
\f
/* Dumps the SIZE bytes in BUFFER to the console as hex bytes
arranged 16 per line. If ASCII is true then the corresponding
\f
/* Dumps the SIZE bytes in BUFFER to the console as hex bytes
arranged 16 per line. If ASCII is true then the corresponding