Print this page
make: fix GCC warnings
*** 337,347 ****
* Only prepend the /usr/bin/nice command to the original command
* if the nice priority, nice_prio, is NOT zero (0).
* Nice priorities can be a positive or a negative number.
*/
if (nice_prio != 0) {
! argv[argv_index++] = NOCATGETS("nice");
(void) sprintf(nice_prio_buf, NOCATGETS("-%d"), nice_prio);
argv[argv_index++] = strdup(nice_prio_buf);
}
argv[argv_index++] = shellname;
#if defined(linux)
--- 337,347 ----
* Only prepend the /usr/bin/nice command to the original command
* if the nice priority, nice_prio, is NOT zero (0).
* Nice priorities can be a positive or a negative number.
*/
if (nice_prio != 0) {
! argv[argv_index++] = (char *)NOCATGETS("nice");
(void) sprintf(nice_prio_buf, NOCATGETS("-%d"), nice_prio);
argv[argv_index++] = strdup(nice_prio_buf);
}
argv[argv_index++] = shellname;
#if defined(linux)