Use standard POSIX "ustar" format for the scratch disk.

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

diff --git a/src/lib/string.h b/src/lib/string.h
index 05b957f297ae78454738e9c41a2cff7e97ee5a17..1fff82a060c32080a99810c4d9413dc97a441910 100644 (file)
--- a/src/lib/string.h
+++ b/src/lib/string.h
@@ -1,7 +1,7 @@
 #ifndef __LIB_STRING_H
 #define __LIB_STRING_H
 
-#include "stddef.h"
+#include <stddef.h>
 
 /* Standard. */
 void *memcpy (void *, const void *, size_t);