change how profiler is killed to be POSIX compliant

Author: ChrisPaulBennett

cylc/flow/etc/job.sh

@@ -200,7 +200,7 @@ cylc__set_return() {
 ###############################################################################
 # Save the data using cylc message and exit the profiler
 cylc__kill_profiler() {
-    if [[ -n "${profiler_pid:-}" && -d "/proc/${profiler_pid}" ]]; then
+    if [[ -n "${profiler_pid:-}" ]] && ps -p "$profiler_pid" > /dev/null; then
       kill -s SIGINT "${profiler_pid}" || true
     fi
 }