Files
build/core
Colin Cross a5471a6723 exec makeparallel
bash doesn't kill children when it receives SIGTERM.  Since makeparallel
is the last command run by the shell, run it with exec to replace the
shell with makeparallel so make can send the signal directly to
makeparallel.

Bug: 31907490
Test: m -j & killall make; pgrep -a makeparallel
Change-Id: If8aeb51ec224234da5f05eae3382ce77f48a57e2
2016-10-03 15:33:06 -07:00
..
2016-09-09 11:01:15 -07:00
2016-07-29 19:58:35 +00:00
2016-07-29 19:58:35 +00:00
2016-09-02 13:20:52 -07:00
2016-07-29 19:58:35 +00:00
2016-09-15 14:40:39 -07:00
2016-07-29 19:58:35 +00:00
2016-09-21 10:54:42 +02:00
2015-09-09 18:12:29 +00:00
2016-07-29 19:58:35 +00:00
2016-10-03 15:33:06 -07:00
2016-07-29 19:58:35 +00:00
2016-07-29 19:58:35 +00:00
2016-09-12 16:16:50 -07:00
2016-07-29 19:58:35 +00:00
2016-07-29 19:58:35 +00:00
2016-09-09 09:41:10 +01:00
2016-09-22 15:22:48 -07:00