diff options
Diffstat (limited to 'dscip')
| -rwxr-xr-x | dscip | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/dscip b/dscip index 4958fb1..53b3c20 100755 --- a/dscip +++ b/dscip @@ -35,7 +35,8 @@ set -u # Check if script is currently running, and if not, reset LOCK # if [ -f "$WORKING_DIRECTORY/LOCK" ]; then LOCKED_PID=$(cat "$WORKING_DIRECTORY/LOCK") - if ps -aux | grep [^]]"$LOCKED_PID" > /dev/null; then + # shellcheck disable=SC2009 + if ps -aux | grep "[^]]$LOCKED_PID" > /dev/null; then echo "Script still running. Exiting..." exit 0 else @@ -85,6 +86,7 @@ build () { echo "Invalid GITMODE, choose either 'clone' or 'pull'" 2>> "$DSCIP_OUTPUT_TO" exit 1 fi + # Begin running the build scripts. { cd "$WORKING_DIRECTORY/wrkdir"; echo "Running pre-build commands..."; |