You should have received a copy of the GNU General Public License along
with Bash; see the file COPYING. If not, write to the Free Software
- Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
+ Foundation, 59 Temple Place, Suite 330, Boston, MA 02111 USA. */
#include "config.h"
/* The current maintainer of the shell. You change this in the
Makefile. */
#if !defined (MAINTAINER)
-#define MAINTAINER "bash-maintainers@prep.ai.mit.edu"
+#define MAINTAINER "bash-maintainers@gnu.org"
#endif
char *the_current_maintainer = MAINTAINER;
}
#endif
+#if 0
fprintf (stderr, "Report this to %s\n", the_current_maintainer);
+#endif
+
fprintf (stderr, "Stopping myself...");
fflush (stderr);
}
#endif
+#if 0
fprintf (stderr, "Report this to %s\n", the_current_maintainer);
+#endif
+
fprintf (stderr, "Stopping myself...");
fflush (stderr);
fflush(stderr);
}
-#if 0
/* A trace function for silent debugging -- doesn't require a control
terminal. */
void
static FILE *tracefp = (FILE *)NULL;
if (tracefp == NULL)
- tracefp = fopen("/usr/tmp/bash-trace.log", "a+");
+ tracefp = fopen("/tmp/bash-trace.log", "a+");
if (tracefp == NULL)
tracefp = stderr;
fflush(tracefp);
}
-#endif /* 0 */
#endif /* USE_VARARGS */