[gnu.gcc.bug] fix to previous gcc.c 1.31 patch

glenne%hplsla@HPLABS.HP.COM (Glenn Engel) (11/24/88)

The previous patch sent to allow overriding of standard_exec_prefix
in gcc.c for release 1.31 had an error.  I inadvertantly made the default
path /usr/ instead of /lib/.  The patch below is the correct patch.

--
 |  Glenn R. Engel
 |  Hewlett-Packard 
 |  (206) 335-2066
 |  glenne%hplsla@hplabs.hp.com


*** orig/gcc.c	Thu Nov 17 10:39:33 1988
--- gcc.c	Wed Nov 23 11:52:20 1988
***************
*** 366,372
  char *standard_exec_prefix = STANDARD_EXEC_PREFIX;
  char *standard_exec_prefix_1 = "/usr/lib/gcc-";
  
! char *standard_startfile_prefix = "/lib/";
  char *standard_startfile_prefix_1 = "/usr/lib/";
  
  /* Clear out the vector of arguments (after a command is executed).  */

--- 366,376 -----
  char *standard_exec_prefix = STANDARD_EXEC_PREFIX;
  char *standard_exec_prefix_1 = "/usr/lib/gcc-";
  
! #ifndef STANDARD_STARTFILE_PREFIX
! #define STANDARD_STARTFILE_PREFIX "/lib/"
! #endif /* !defined STANDARD_STARTFILE_PREFIX */
! 
! char *standard_startfile_prefix = STANDARD_STARTFILE_PREFIX;
  char *standard_startfile_prefix_1 = "/usr/lib/";
  
  /* Clear out the vector of arguments (after a command is executed).  */