> From: "J. David Bryan" <[EMAIL PROTECTED]> > Date: Fri, 24 Feb 2006 13:06:28 -0500 > CC: [email protected], [EMAIL PROTECTED] > > > + if (just_print_flag) { > > + /* Need to allocate new_argv, although it's unused, because > > + start_job_command will want to free it and its 0'th element. */ > > + new_argv = (char **) xmalloc(2 * sizeof (char *)); > > + new_argv[0] = xstrdup (""); > > + new_argv[1] = NULL; > > + } > > if ((no_default_sh_exe || batch_mode_shell) && batch_filename_ptr) { > > int temp_fd; > > FILE* batch = NULL; > > I believe that the "if ((no_default_sh_exe..." statement following your > changed lines should be an "else if"
Yes, it should--but that looks like some snafu when my previous patch was applied, because there it was "else if". Paul? _______________________________________________ Make-w32 mailing list [email protected] http://lists.gnu.org/mailman/listinfo/make-w32
