Summary: | Setting to launch build processes with different priority | ||
---|---|---|---|
Product: | [Applications] kdevelop | Reporter: | Linus McCabe <linus> |
Component: | general | Assignee: | KDevelop Developers <kdevelop-devel> |
Status: | RESOLVED FIXED | ||
Severity: | wishlist | ||
Priority: | NOR | ||
Version: | unspecified | ||
Target Milestone: | --- | ||
Platform: | Debian testing | ||
OS: | Linux | ||
Latest Commit: | Version Fixed In: | ||
Sentry Crash Report: | |||
Attachments: | patch to add a priority to the make command |
Description
Linus McCabe
2004-03-12 07:14:50 UTC
Created attachment 5946 [details]
patch to add a priority to the make command
Hi,
I've done this patch a few days ago.
This patch adds a spinbox to the make-options-widget under the project-options.
If a value different to zero is set there, the nice command is prepended to the
make command.
I sent a note about this patch to the kdevelop-devel mailinglist on 04th of
May. As nobody seams to be interrested in adding this feature I decided to
append the patch to this bug report. So, enjoy!
Greets
Robert
BTW: This path is a diff against the CVS HEAD Branch as it was on 4th of May
2004
CVS commit by rgruber: Added possibility to set the priority of the make-process via the make-widget from the project options CCMAIL: 77351-done@bugs.kde.org M +16 -0 buildtools/autotools/autoprojectpart.cpp 1.132 M +2 -0 buildtools/custommakefiles/custommakeconfigwidget.cpp 1.3 M +107 -30 buildtools/custommakefiles/custommakeconfigwidgetbase.ui 1.4 M +7 -0 buildtools/custommakefiles/customprojectpart.cpp 1.77 M +2 -0 lib/project/makeoptionswidget.cpp 1.7 M +104 -33 lib/project/makeoptionswidgetbase.ui 1.9 |