-1999-09-17 Paul D. Smith <psmith@gnu.org>
+1999-09-22 Paul D. Smith <psmith@gnu.org>
* Version 3.78 released.
+ * main.c (main): Only fail on multiple --jobserver-fds options if
+ they aren't all the same. Some makefiles use things like
+ $(MAKE) $(MFLAGS) which will cause multiple, identical copies of
+ --jobserver-fds to show up.
+
1999-09-16 Paul D. Smith <psmith@gnu.org>
* main.c (define_makeflags): Zero out FLAGSTRING to avoid
{
char *cp;
- if (jobserver_fds->idx > 1)
- fatal (NILF, _("internal error: multiple --jobserver-fds options"));
+ for (i=1; i < jobserver_fds->idx; ++i)
+ if (!streq (jobserver_fds->list[0], jobserver_fds->list[i]))
+ fatal (NILF, _("internal error: multiple --jobserver-fds options"));
/* Now parse the fds string and make sure it has the proper format. */