https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68980
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jakub at gcc dot gnu.org --- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> --- I'd actually say that ps -o pid,ppid,comm would be better even on Linux, I think it really wants to look for the process named sleep, rather than some arbitrary command with sleep just as an argument or path component etc. There is a risk that you kill some other command, that would say have arguments /usr/bin/some_command sleep 12345 if $alarmpid is 12345.