From 5fc9cabd150fcf8d3afd389bb7fb20cbcc6a64ce Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Thu, 26 Sep 1996 08:44:42 +0000
Subject: [PATCH] (KERNEL_FILE): Redefine it here.

---
 src/s/hpux10.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/s/hpux10.h b/src/s/hpux10.h
index 0c399f31294..32daf200a21 100644
--- a/src/s/hpux10.h
+++ b/src/s/hpux10.h
@@ -13,6 +13,10 @@
 #define HPUX10
 #define FORCE_ALLOCA_H
 
+/* AlainF 20-Jul-1996 says this is right.  */
+#undef KERNEL_FILE
+#define KERNEL_FILE "/stand/vmunix"
+
 #ifdef LIBS_SYSTEM
 #undef LIBS_SYSTEM
 #endif
-- 
2.39.2