From 84c274cb56cb012a9da3d86949e52b6d6f997a5b Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Tue, 22 May 2001 03:09:52 +0000
Subject: [PATCH] Duh.  Can't delete DOS pathname support; that is used by
 Win32 and OS/2.

---
 v7/src/runtime/make.scm | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/v7/src/runtime/make.scm b/v7/src/runtime/make.scm
index 059bddce6..c0e1427f1 100644
--- a/v7/src/runtime/make.scm
+++ b/v7/src/runtime/make.scm
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: make.scm,v 14.68 2001/05/09 13:58:54 cph Exp $
+$Id: make.scm,v 14.69 2001/05/22 03:09:52 cph Exp $
 
 Copyright (c) 1988-2001 Massachusetts Institute of Technology
 
@@ -445,8 +445,10 @@ USA.
    (RUNTIME STRING-INPUT)
    (RUNTIME STRING-OUTPUT)
    (RUNTIME TRUNCATED-STRING-OUTPUT)
-   ;; This MUST be done before (RUNTIME PATHNAME) 
+   ;; These MUST be done before (RUNTIME PATHNAME) 
+   ;; Typically only one of them is loaded.
    (RUNTIME PATHNAME UNIX)
+   (RUNTIME PATHNAME DOS)
    (RUNTIME PATHNAME)
    (RUNTIME WORKING-DIRECTORY)
    (RUNTIME LOAD)
-- 
2.25.1