Allow dld support to be disabled.

diff --git a/v7/src/microcode/s/linux.h b/v7/src/microcode/s/linux.h
index 6f817039a5bb92127033bab205e2e7145b8f97d0..ed6843a21d4ef46108fd0cb9bbb2b9231d4944c3 100644 (file)
--- a/v7/src/microcode/s/linux.h
+++ b/v7/src/microcode/s/linux.h
@@ -1,7 +1,7 @@
 /* -*-C-*-
    System file for Linux
 
-$Id: linux.h,v 1.11 1997/05/01 01:18:42 cph Exp $
+$Id: linux.h,v 1.12 1997/05/05 07:29:11 cph Exp $
 
 Copyright (c) 1995-97 Massachusetts Institute of Technology
 
@@ -53,10 +53,12 @@ MIT in each case. */
 
 #define LD_SWITCH_SYSTEM
 
+#ifndef DISABLE_DLD_SUPPORT
 /* These definitions configure the microcode to support dynamic loading. */
 #define SOURCES_SYSTEM pruxdld.c
 #define OBJECTS_SYSTEM pruxdld.o
 #define LIBS_SYSTEM -ldl
+#endif
 
 /* Use the built-in files <limits.h> and <float.h> rather than those
    generated by the "hard-par" program.  */