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

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

diff --git a/src/lib/stdlib.h b/src/lib/stdlib.h
index cfc12edeee846d4613941e5b89faaec54f7cbb6c..d14afa38384e599969135d7178342a0624f47e2a 100644 (file)
--- a/src/lib/stdlib.h
+++ b/src/lib/stdlib.h
@@ -11,9 +11,9 @@ void *bsearch (const void *key, const void *array, size_t cnt,
                size_t size, int (*compare) (const void *, const void *));
 
 /* Nonstandard functions. */
-void quick_sort (void *array, size_t cnt, size_t size,
-                 int (*compare) (const void *, const void *, void *aux),
-                 void *aux);
+void sort (void *array, size_t cnt, size_t size,
+           int (*compare) (const void *, const void *, void *aux),
+           void *aux);
 void *binary_search (const void *key, const void *array, size_t cnt,
                      size_t size,
                      int (*compare) (const void *, const void *, void *aux),