diff options
[CI] Fixed stop.sh not removing container
1 files changed, 1 insertions, 1 deletions
| -rwxr-xr-x | Year 3/Compilers, Introduction/coolc-spim/stop.sh | 2 |
diff --git a/Year 3/Compilers, Introduction/coolc-spim/stop.sh b/Year 3/Compilers, Introduction/coolc-spim/stop.sh index eec83f7..8e203ff 100755 --- a/Year 3/Compilers, Introduction/coolc-spim/stop.sh +++ b/Year 3/Compilers, Introduction/coolc-spim/stop.sh @@ -1 +1 @@ -docker stop coolc-spim && docker remove coolc-spim +docker stop coolc-spim && docker container rm coolc-spim |
