Print this page
make: remove maketool support

@@ -1142,15 +1142,11 @@
                      (rp != NULL) && (rp->pid != pid);
                      rp = rp->next) {
                         ;
                 }
                 if (rp == NULL) {
-                        if (send_mtool_msgs) {
-                                continue;
-                        } else {
                                 fatal(catgets(catd, 1, 128, "Internal error: returned child pid not in running_list"));
-                        }
                 } else {
                         rp->state = (WIFEXITED(status) && WEXITSTATUS(status) == 0) ? build_ok : build_failed;
                 }
                 nohang = true;
                 parallel_process_cnt--;

@@ -1836,12 +1832,11 @@
                                        ignore,
                                        false,
                                        false, /* bugs #4085164 & #4990057 */
                                        /* BOOLEAN(silent_flag && ignore), */
                                        always_exec, 
-                                       (Name) NULL,
-                                       false);
+                                       (Name) NULL);
                         if (result == build_failed) {
                                 if (silent_flag) {
                                         (void) printf(catgets(catd, 1, 152, "The following command caused the error:\n%s\n"), command->string_mb);
                                 }
                                 if (!ignore) {