projects
/
pintos-anon
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
fbe57c8
)
Finish that thought.
author
Ben Pfaff
<blp@cs.stanford.edu>
Wed, 24 Nov 2004 00:16:35 +0000
(
00:16
+0000)
committer
Ben Pfaff
<blp@cs.stanford.edu>
Wed, 24 Nov 2004 00:16:35 +0000
(
00:16
+0000)
doc/standards.texi
patch
|
blob
|
history
diff --git
a/doc/standards.texi
b/doc/standards.texi
index 20e27a4463faae6d6bc12d2e801cbf095049dfb7..fd25730e370c1ca1b6506ef791cf2d0b241f82c0 100644
(file)
--- a/
doc/standards.texi
+++ b/
doc/standards.texi
@@
-50,7
+50,9
@@
this documentation (@pxref{References}).
If you remove existing Pintos code, please delete it from your source
file entirely. Don't just put it into a comment or a conditional
compilation directive, because that makes the resulting code hard to
If you remove existing Pintos code, please delete it from your source
file entirely. Don't just put it into a comment or a conditional
compilation directive, because that makes the resulting code hard to
-read. If you're worried about
+read. We're only going to do a compile in the directory for the current
+project, so you don't need to make sure that the previous projects also
+compile.
@node Conditional Compilation
@section Conditional Compilation
@node Conditional Compilation
@section Conditional Compilation