From 1d595cf0067b3bbc28a2a0aba62e5347a1ef8024 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Mon, 5 May 1997 07:25:55 +0000
Subject: [PATCH] Add an option to disable dld support, since the Red Hat Linux
 we are running on the action machines doesn't seem to support it, while the
 Debian Linux we're running on everything else does.

---
 v7/src/microcode/pruxdld.c | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/v7/src/microcode/pruxdld.c b/v7/src/microcode/pruxdld.c
index 332c9f112..4f9b8962b 100644
--- a/v7/src/microcode/pruxdld.c
+++ b/v7/src/microcode/pruxdld.c
@@ -1,6 +1,6 @@
 /* -*-C-*-
 
-$Id: pruxdld.c,v 1.10 1997/05/05 07:24:13 cph Exp $
+$Id: pruxdld.c,v 1.11 1997/05/05 07:25:55 cph Exp $
 
 Copyright (c) 1993-97 Massachusetts Institute of Technology
 
@@ -36,6 +36,9 @@ MIT in each case. */
    It has been tried under HP-UX, SunOS (4.1.?), and Alpha OSF 1.
  */
 
+/* This #if covers the entire file. */
+#ifndef DISABLE_DLD_SUPPORT
+
 #include "scheme.h"
 #include "prims.h"
 #include "usrdef.h"
@@ -248,3 +251,5 @@ Construct the corresponding Scheme string.")
   address = ((long) (arg_integer (1)));
   PRIMITIVE_RETURN (char_pointer_to_string ((unsigned char *) address));
 }
+
+#endif /* not DISABLE_DLD_SUPPORT */
-- 
2.25.1