Make Pintos able to build with "gcc -m32" on x86-64 hosts without the

[pintos-anon] / src / lib / limits.h

diff --git a/src/lib/limits.h b/src/lib/limits.h
index 930a97b64deb1d22ac3ec6ebe5be16261f40a0b7..c957ec43e5075bcdc26230e20a93ef6f013bfa58 100644 (file)
--- a/src/lib/limits.h
+++ b/src/lib/limits.h
@@ -1,5 +1,5 @@
-#ifndef LIB_LIMITS_H
-#define LIB_LIMITS_H
+#ifndef __LIB_LIMITS_H
+#define __LIB_LIMITS_H
 
 #define CHAR_BIT 8