From 6d935f4dd5619415af3040665ce96a7b0cfe4bda Mon Sep 17 00:00:00 2001
From: "Guillermo J. Rozas" <edu/mit/csail/zurich/gjr>
Date: Tue, 12 Jan 1993 19:47:26 +0000
Subject: [PATCH] Remove current-file-time.
---
v7/src/microcode/prdosenv.c | 12 ++----------
v7/src/microcode/pruxenv.c | 12 ++----------
2 files changed, 4 insertions(+), 20 deletions(-)
diff --git a/v7/src/microcode/prdosenv.c b/v7/src/microcode/prdosenv.c
index e07dc5c45..b4b95ccf9 100644
--- 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"
-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 a7829c669..02660f968 100644
--- 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;
-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.")
{
--
2.25.1