X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fmake-file.h;h=3861f35109af866978b5938d0bbc34389e6c059b;hb=38993354cabb6fc37bb882be92f9a49e9aeb4c88;hp=31795bebe58db8d4b66d187c2ba9f3978369d7e2;hpb=d0b91eae59319ab2756d0d43b9cb15eb9cd3c234;p=pspp

diff --git a/src/data/make-file.h b/src/data/make-file.h
index 31795bebe5..3861f35109 100644
--- a/src/data/make-file.h
+++ b/src/data/make-file.h
@@ -21,18 +21,6 @@
 #include <stdio.h>
 #include <sys/types.h>
 
-/* Creates a temporary file and stores its name in *FILE_NAME and
-   a file descriptor for it in *FD.  Returns success.  Caller is
-   responsible for freeing *FILE_NAME. */
-int make_temp_file (int *fd, char **file_name);
-
-
-/* Creates a temporary file and stores its name in *FILE_NAME and
-   a file stream for it in *FP.  Returns success.  Caller is
-   responsible for freeing *FILE_NAME. */
-int make_unique_file_stream (FILE **fp, char **file_name) ;
-
-
 /* Prepares to atomically replace a (potentially) existing file
    by a new file, by creating a temporary file with the given
    PERMISSIONS bits in the same directory as *FILE_NAME.