X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fstring.c;h=8971fae21b3c4d6da492b2e54614dbb3e6f8e058;hb=3b6db7448e41437dadc6b667929dea4a4f4013a6;hp=cb042f02242d02a2090f6566016fb45f67c0df21;hpb=fadf22e0065485ea8cf7aac54fc601e8999c280a;p=pintos-anon

diff --git a/src/lib/string.c b/src/lib/string.c
index cb042f0..8971fae 100644
--- a/src/lib/string.c
+++ b/src/lib/string.c
@@ -1,4 +1,8 @@
 #include <string.h>
+
+#ifdef KERNEL
+#define NDEBUG
+#endif
 #include <debug.h>
 
 /* Copies SIZE bytes from SRC to DST, which must not overlap.