projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Talk about write() to stdout more.
[pintos-anon]
/
src
/
threads
/
intr-stubs.h
diff --git
a/src/threads/intr-stubs.h
b/src/threads/intr-stubs.h
index debeaabc075ab3668b78271d028e703481e1b113..116b637e3cd0b7560f4a5d3dae57b475f80ba0db 100644
(file)
--- a/
src/threads/intr-stubs.h
+++ b/
src/threads/intr-stubs.h
@@
-1,5
+1,5
@@
-#ifndef THREADS_INTR
-
STUBS_H
-#define THREADS_INTR
-
STUBS_H
+#ifndef THREADS_INTR
_
STUBS_H
+#define THREADS_INTR
_
STUBS_H
/* Interrupt stubs.