Use standard POSIX "ustar" format for the scratch disk.
[pintos-anon] / src / lib / string.h
index 03ba7a00133201fd6730ffbdfe49bc9d6511575f..1fff82a060c32080a99810c4d9413dc97a441910 100644 (file)
@@ -1,7 +1,7 @@
-#ifndef LIB_STRING_H
-#define LIB_STRING_H 1
+#ifndef __LIB_STRING_H
+#define __LIB_STRING_H
 
-#include "stddef.h"
+#include <stddef.h>
 
 /* Standard. */
 void *memcpy (void *, const void *, size_t);