# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 783213945 0
# Node ID 24f70eafc5ef72ec9c794b2a3d0c2c83347d3fbd
# Parent  3a3fb4db54ba6bc1e38beb91a401658ece8b6099
(HAVE_GETPAGESIZE): Explicitly #undef.

diff -r 3a3fb4db54ba -r 24f70eafc5ef src/m/sequent-ptx.h
--- a/src/m/sequent-ptx.h	Wed Oct 26 23:25:27 1994 +0000
+++ b/src/m/sequent-ptx.h	Wed Oct 26 23:25:45 1994 +0000
@@ -110,7 +110,7 @@
 /* PTX has getpagesize() but it returns 296. Using the default method of
    including getpagesize.h in unexec.c returns 4096 which seems more
    reasonable.  */
-/* #define HAVE_GETPAGESIZE */
+#undef HAVE_GETPAGESIZE
 
 /* Override magic number for a.out header.  */
 #define EXEC_MAGIC 0411		/* from a.out.h: separated I&D */