# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 738966345 0
# Node ID 829998469d8634e8f9ea1c83f2858b589d423198
# Parent  b48f023e8e296048ac37f8a5413948168df217b0
(KERNEL_FILE): New override definition.

diff -r b48f023e8e29 -r 829998469d86 src/m/pmax.h
--- a/src/m/pmax.h	Tue Jun 01 20:11:54 1993 +0000
+++ b/src/m/pmax.h	Tue Jun 01 20:25:45 1993 +0000
@@ -55,8 +55,6 @@
    just delete the definition.  */
 #define LIBS_MACHINE -ldnet
 
-#if 0 /* mcc@timessqr.gc.cuny.edu says it is /vmunix on Ultrix 4.2a.  */
-/* dob@tis.inel.gov says this is needed.  */
+/* mcc@timessqr.gc.cuny.edu says it is /vmunix on Ultrix 4.2a.  */
 #undef KERNEL_FILE
-#define KERNEL_FILE "/unix"
-#endif
+#define KERNEL_FILE "/vmunix"