1997-02-12 17:48:00 +00:00
|
|
|
*** Local.config.orig Tue Dec 17 04:30:18 1996
|
|
|
|
--- Local.config Wed Feb 12 08:32:57 1997
|
1995-07-18 06:18:00 +00:00
|
|
|
***************
|
1996-11-21 20:23:38 +00:00
|
|
|
*** 25,31 ****
|
1997-02-12 17:48:00 +00:00
|
|
|
#define LocalGuru xpilot@xpilot.org /* The one to contact for problems */
|
1996-11-21 20:23:38 +00:00
|
|
|
#endif /* LocalGuru */
|
1995-07-18 06:18:00 +00:00
|
|
|
|
1996-06-28 20:48:21 +00:00
|
|
|
! PREFIX = /usr/local/games
|
1996-06-26 19:55:24 +00:00
|
|
|
|
1996-11-21 20:23:38 +00:00
|
|
|
/* Manual pages for games usually go to section 6. */
|
|
|
|
MANSUFFIX = 6
|
|
|
|
--- 25,31 ----
|
1997-02-12 17:48:00 +00:00
|
|
|
#define LocalGuru xpilot@xpilot.org /* The one to contact for problems */
|
1996-11-21 20:23:38 +00:00
|
|
|
#endif /* LocalGuru */
|
|
|
|
|
1995-07-18 06:18:00 +00:00
|
|
|
! PREFIX = /usr/X11R6
|
|
|
|
|
1996-11-21 20:23:38 +00:00
|
|
|
/* Manual pages for games usually go to section 6. */
|
|
|
|
MANSUFFIX = 6
|
1999-03-31 15:21:24 +00:00
|
|
|
***************
|
|
|
|
*** 91,97 ****
|
|
|
|
* CDEBUGFLAGS should specify optimalization or debug information (or both).
|
|
|
|
* Try not defining anything first.
|
|
|
|
*/
|
|
|
|
! CDEBUGFLAGS = -g /* General debug flag */
|
|
|
|
/* CDEBUGFLAGS = -O /* General optimize flag */
|
|
|
|
/* CDEBUGFLAGS = -Ae +O3 +FPD /* HP cc optimize flags (no +ESlit) */
|
|
|
|
/* CDEBUGFLAGS = -Ae -g -z +w1 /* HP cc debug flags */
|
|
|
|
--- 91,97 ----
|
|
|
|
* CDEBUGFLAGS should specify optimalization or debug information (or both).
|
|
|
|
* Try not defining anything first.
|
|
|
|
*/
|
|
|
|
! /* CDEBUGFLAGS = -g /* General debug flag */
|
|
|
|
/* CDEBUGFLAGS = -O /* General optimize flag */
|
|
|
|
/* CDEBUGFLAGS = -Ae +O3 +FPD /* HP cc optimize flags (no +ESlit) */
|
|
|
|
/* CDEBUGFLAGS = -Ae -g -z +w1 /* HP cc debug flags */
|