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

[pintos-anon] / src / Makefile.userprog

diff --git a/src/Makefile.userprog b/src/Makefile.userprog
index f90b08c965e365022aa78b0d97eb417c0160c6b4..0df391a24ed164db4fc6febe3d44c33443a30769 100644 (file)
--- a/src/Makefile.userprog
+++ b/src/Makefile.userprog
@@ -12,7 +12,8 @@ lib_SRC += lib/random.c                       # Pseudo-random numbers.
 lib_SRC += lib/stdio.c                 # I/O library.
 lib_SRC += lib/stdlib.c                        # Utility functions.
 lib_SRC += lib/string.c                        # String functions.
-lib_SRC += lib/arithmetic.c
+lib_SRC += lib/arithmetic.c            # 64-bit arithmetic for GCC.
+lib_SRC += lib/ustar.c                 # Unix standard tar format utilities.
 
 # User level only library code.
 lib/user_SRC  = lib/user/debug.c       # Debug helpers.