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

diff --git a/src/data/make-file.h b/src/data/make-file.h
index 31795beb..3861f351 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.