Changeset 3432 for trunk/src/kmk/makeint.h

Timestamp:

Sep 1, 2020, 3:17:57 PM (5 years ago)

Author:

bird

Message:

kmk: Quick output hack to repeat the failure output at the end of die() as it may easily get lost in output from other jobs (problem on systems with lots of cores).

File:

• trunk/src/kmk/makeint.h (modified) (1 diff)

trunk/src/kmk/makeint.h

@@ -663 +663 @@
 
 void die (int) __attribute__ ((noreturn));
+void die_with_job_output (int, struct output *) __attribute__ ((noreturn));
 void pfatal_with_name (const char *) __attribute__ ((noreturn));
 void perror_with_name (const char *, const char *);