Updated to new version.

1 files changed, 2 insertions, 2 deletions

diff --git a/run.sh b/run.sh
index 7f1c63d4b93a..83e950c73675 100755
--- a/run.sh
+++ b/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env sh
+#!/usr/bin/env bash
 
 #
 # run.sh
@@ -77,7 +77,7 @@ killd()
     # kill action only if process exists.
     if [ -f "$pid_file" ]; then
         pid=$(cat "$pid_file")
-        ps -q $pid > /dev/null
+        ps -p $pid > /dev/null
         if [ $? -eq 0 ]; then
                 make -C "$pkg_dir" stop
         fi