diff options
| author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2019-09-10 14:20:58 +0000 |
|---|---|---|
| committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2019-09-10 14:20:58 +0000 |
| commit | b426b17b09ddc072727c825f65ef5cae4962b5b1 (patch) | |
| tree | 7a3ed73b319c423a478d94b8bdd8cf39ae01959c /start-container-docker.sh | |
| parent | 188abe57165000ddbb2823cfa524cdc416a2f9b5 (diff) | |
start-container-docker.sh: Add missing quotes
Change-Id: I14b36d4fa8d01418fe3aa32f0fd592069ade522f
Diffstat (limited to 'start-container-docker.sh')
| -rwxr-xr-x | start-container-docker.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/start-container-docker.sh b/start-container-docker.sh index c4f6dc53..d489d2aa 100755 --- a/start-container-docker.sh +++ b/start-container-docker.sh @@ -346,7 +346,7 @@ if [ x"$WORKSPACE" != x"" ]; then $DOCKER rm -vf "$prev_container" || echo "WARNING: Could not remove $prev_container" fi - $SSH $session_host bash -c "flock $WORKSPACE/.lock echo $session_name > $WORKSPACE/.lock" + $SSH $session_host bash -c "\"flock $WORKSPACE/.lock echo $session_name > $WORKSPACE/.lock\"" cleanup_lock=true fi |