tree 6add7783626ec54832a2dd5eb83f58e2b5181eab
parent 292da6f6867b75a5af7ddbb639a1feae022f438f
author Christian Boos <cboos@edgewall.org> 1419670501 +0200
committer Eli Zaretskii <eliz@gnu.org> 1419670501 +0200

Fix $(shell) on hosts with 64-bit pid_t.

* function.c: Use pid_t for shell_function_pid.
* job.c: Likewise.

Copyright-paperwork-exempt: yes