[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #51200] Improvement suggestion: listen to signals to adjust number
[bug #51200] Improvement suggestion: listen to signals to adjust number of jobs
Wed, 7 Jun 2017 14:43:44 -0400 (EDT)
Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Firefox/45.0
Summary: Improvement suggestion: listen to signals to adjust
number of jobs
Submitted by: None
Submitted on: Wed 07 Jun 2017 06:43:43 PM UTC
Severity: 3 - Normal
Item Group: Enhancement
Assigned to: None
Discussion Lock: Any
Component Version: SCM
Operating System: POSIX-Based
Fixed Release: None
Triage Status: None
Many times after starting make I have wished that I started it with more
parallel jobs than I did. A few time I have also wished that I started make
with fewer parallel jobs.
The attached patch allows you to send SIGUSR2 to your top level make process
to add one more parallel job.
Once a SIGUSR2 is received the functionality of SIGUSR1 also changes from
toggling debug output to decrease the number of jobs by 1. No running job will
be killed, but when the next target is finished one less job will be started
If make was started with parallel jobs SIGUSR2 will immediately increase the
number of jobs with one. If make was started without -j SIGUSR2 will not cause
make to work in parallel until the current target is finished.
The patch was written against sources from git, but also works with latest
stable version 4.2.1.
I hope that you will find my patch useful and that it somehow will make it
into upcoming stable releases of make.
Please feel free to discuss improvements of the patch, I have subscribed to
the bug-make mailing list.
Date: Wed 07 Jun 2017 06:43:43 PM UTC Name: signal_num_jobs3.patch Size: 3kB
Reply to this item at:
Message sent via/by Savannah
|[Prev in Thread]
||[Next in Thread]|
- [bug #51200] Improvement suggestion: listen to signals to adjust number of jobs,