# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 743761875 0
# Node ID 6e8bb94d94c57ed97d3278ca79cd5b57b078a2d0
# Parent  3596e40f5c4a63d05049faf118339042c15d8c86
(OLDXMENU_OPTIONS): Definition deleted.

diff -r 3596e40f5c4a -r 6e8bb94d94c5 src/s/hpux8.h
--- a/src/s/hpux8.h	Tue Jul 27 07:51:55 1993 +0000
+++ b/src/s/hpux8.h	Tue Jul 27 08:31:15 1993 +0000
@@ -26,8 +26,11 @@
 #define LD_SWITCH_SYSTEM -a archive -L/usr/lib/X11R5 -L/usr/lib/X11R4
 #endif
 
+#if 0 /* This should no longer be necessary now that
+	 C_SWITCH_... are passed down when compiling oldXMenu.  */
 /* Specify compiler options for compiling oldXMenu.  */
 #define OLDXMENU_OPTIONS CFLAGS="-I/usr/include/X11R5 -I/usr/include/X11R4"
+#endif
 
 /* Some hpux 8 machines seem to have TIOCGWINSZ,
    and none have sioctl.h, so might as well define this.  */