X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fstring.c;h=89fa1f05c01f130bce10948d493a10cac6d29063;hb=5d55ab9ce00fcf35009091e96882b33420ee16d8;hp=cb042f02242d02a2090f6566016fb45f67c0df21;hpb=697b1e606a87d72840da039438f0d3325da5784d;p=pintos-anon

diff --git a/src/lib/string.c b/src/lib/string.c
index cb042f0..89fa1f0 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.
@@ -335,7 +339,7 @@ strlcpy (char *dst, const char *src, size_t size)
     {
       size_t dst_len = size - 1;
       if (src_len < dst_len)
-        src_len = dst_len;
+        dst_len = src_len;
       memcpy (dst, src, dst_len);
       dst[dst_len] = '\0';
     }