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.

diff --git a/v7/src/microcode/pruxdld.c b/v7/src/microcode/pruxdld.c
index 332c9f112b68f89f5992c1e456fc7e809fea48fe..4f9b8962b2e46a2b3edf889b79781cc564f0b057 100644 (file)
--- 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 */