projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Update docs.
[pintos-anon]
/
doc
/
standards.texi
diff --git
a/doc/standards.texi
b/doc/standards.texi
index 60aa21aa8afcaf82c348618227d3b51a83be6c0f..e7ed5686265f8bd94e89b496b7414f6192c631c3 100644
(file)
--- a/
doc/standards.texi
+++ b/
doc/standards.texi
@@
-71,7
+71,7
@@
this function.
@item
Problem 1-4, the advanced scheduler. We must be able to turn this on
@item
Problem 1-4, the advanced scheduler. We must be able to turn this on
-and off with a compile
time directive. You must use the macro name we
+and off with a compile
-
time directive. You must use the macro name we
specify for that part. @xref{Problem 1-4 Advanced Scheduler}, for
details.
specify for that part. @xref{Problem 1-4 Advanced Scheduler}, for
details.
@@
-140,7
+140,7
@@
the C compiler concatenates adjacent string literals:
#include <inttypes.h>
@dots{}
int32_t value = @dots{};
#include <inttypes.h>
@dots{}
int32_t value = @dots{};
-printf ("value=%08"PRId32"\n");
+printf ("value=%08"PRId32"\n"
, value
);
@end example
@noindent
The @samp{%} is not supplied by the @code{PRI} macros. As shown
@end example
@noindent
The @samp{%} is not supplied by the @code{PRI} macros. As shown