# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 843727482 0
# Node ID d7c001f4e79f4f81d4fb734ac558bfa379ef71f5
# Parent  14b661a07c1fd755e7f629631942e75e1549d63f
(KERNEL_FILE): Redefine it here.

diff -r 14b661a07c1f -r d7c001f4e79f src/s/hpux10.h
--- a/src/s/hpux10.h	Thu Sep 26 07:48:03 1996 +0000
+++ b/src/s/hpux10.h	Thu Sep 26 08:44:42 1996 +0000
@@ -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