Remove current-file-time.

diff --git a/v7/src/microcode/prdosenv.c b/v7/src/microcode/prdosenv.c
index e07dc5c4538503e076c9318220f6c9f91d4b15d9..b4b95ccf9ca6d70c2edaf49523ae633f5ad22ca0 100644 (file)
--- a/v7/src/microcode/prdosenv.c
+++ b/v7/src/microcode/prdosenv.c
@@ -1,8 +1,8 @@
 /* -*-C-*-
 
-$Id: prdosenv.c,v 1.9 1992/10/21 00:02:10 jinx Exp $
+$Id: prdosenv.c,v 1.10 1993/01/12 19:47:20 gjr Exp $
 
-Copyright (c) 1992 Massachusetts Institute of Technology
+Copyright (c) 1992-1993 Massachusetts Institute of Technology
 
 This material was developed by the Scheme project at the Massachusetts
 Institute of Technology, Department of Electrical Engineering and
@@ -40,14 +40,6 @@ MIT in each case. */
 #include "msdos.h"
 #include "dosio.h"
 \f
-DEFINE_PRIMITIVE ("CURRENT-FILE-TIME", Prim_current_file_time, 0, 0,
-  "Return the current file system time stamp.\n\
-This is an integer whose units are in seconds.")
-{
-  PRIMITIVE_HEADER (0);
-  PRIMITIVE_RETURN (long_to_integer (DOS_time (NULL)));
-}
-
 DEFINE_PRIMITIVE ("FILE-TIME->STRING", Prim_file_time_to_string, 1, 1,
   "Convert a file system time stamp into a date/time string.")
 {

diff --git a/v7/src/microcode/pruxenv.c b/v7/src/microcode/pruxenv.c
index a7829c669acb3b4e7ffceb5b60e5b1ddbd1d9041..02660f9684670cc363a9b223c956a0b6833dae82 100644 (file)
--- a/v7/src/microcode/pruxenv.c
+++ b/v7/src/microcode/pruxenv.c
@@ -1,8 +1,8 @@
 /* -*-C-*-
 
-$Id: pruxenv.c,v 1.13 1992/10/21 00:06:20 jinx Exp $
+$Id: pruxenv.c,v 1.14 1993/01/12 19:47:26 gjr Exp $
 
-Copyright (c) 1990-1992 Massachusetts Institute of Technology
+Copyright (c) 1990-1993 Massachusetts Institute of Technology
 
 This material was developed by the Scheme project at the Massachusetts
 Institute of Technology, Department of Electrical Engineering and
@@ -47,14 +47,6 @@ MIT in each case. */
 
 extern char ** environ;
 \f
-DEFINE_PRIMITIVE ("CURRENT-FILE-TIME", Prim_current_file_time, 0, 0,
-  "Return the current file system time stamp.\n\
-This is an integer whose units are in seconds.")
-{
-  PRIMITIVE_HEADER (0);
-  PRIMITIVE_RETURN (long_to_integer (UX_time (0)));
-}
-
 DEFINE_PRIMITIVE ("FILE-TIME->STRING", Prim_file_time_to_string, 1, 1,
   "Convert a file system time stamp into a date/time string.")
 {