Implement new procedure DECODE-FILE-TIME.

diff --git a/v7/src/runtime/unxprm.scm b/v7/src/runtime/unxprm.scm
index a10b4c3e895553f940015fbd32de8e71cd263414..ad531ac8e2a85eadbff20441e593072a4bf1219b 100644 (file)
--- a/v7/src/runtime/unxprm.scm
+++ b/v7/src/runtime/unxprm.scm
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: unxprm.scm,v 1.35 1995/04/09 22:58:09 cph Exp $
+$Id: unxprm.scm,v 1.36 1995/04/15 06:13:17 cph Exp $
 
 Copyright (c) 1988-95 Massachusetts Institute of Technology
 
@@ -233,6 +233,9 @@ MIT in each case. |#
 (define-integrable file-time->string
   (ucode-primitive file-time->string 1))
 
+(define (decode-file-time time)
+  (decode-universal-time time))
+
 (define unix/user-home-directory user-home-directory)
 (define unix/current-home-directory current-home-directory)
 (define unix/current-user-name current-user-name)