diff --git a/flash.sh b/flash.sh index 3bd48b5..b55447e 100755 --- a/flash.sh +++ b/flash.sh @@ -1,5 +1,10 @@ #!/bin/bash set -o pipefail +if pgrep -x "emulator" > /dev/null +then + echo "PiStorm emulator is running, please stop it first" + exit 1 +fi if ! command -v openocd &> /dev/null then echo "openocd is not installed, please run \"sudo apt install openocd\"" diff --git a/flash_experimental.sh b/flash_experimental.sh index 4ae4b5e..76cff64 100755 --- a/flash_experimental.sh +++ b/flash_experimental.sh @@ -1,5 +1,10 @@ #!/bin/bash set -o pipefail +if pgrep -x "emulator" > /dev/null +then + echo "PiStorm emulator is running, please stop it first" + exit 1 +fi if ! command -v openocd &> /dev/null then echo "openocd is not installed, please run \"sudo apt install openocd\""