2021-02-05 17:38:25 -06:00
|
|
|
steps:
|
|
|
|
|
- script: |
|
2021-02-08 10:06:36 -06:00
|
|
|
if sudo [ -f /var/run/march/docker.pid ] ; then
|
|
|
|
|
pid=`sudo cat /var/run/march/docker.pid` ; sudo kill $pid
|
|
|
|
|
fi
|
|
|
|
|
sudo rm -f /var/run/march/docker.pid
|
|
|
|
|
sudo rm -rf /data/march/docker
|
2021-02-06 18:58:15 -06:00
|
|
|
|
|
|
|
|
# clean native docker build
|
|
|
|
|
if sudo [ -f dockerfs/var/run/docker.pid ] ; then
|
|
|
|
|
pid=`sudo cat dockerfs/var/run/docker.pid` ; sudo kill $pid
|
|
|
|
|
fi
|
2021-04-19 20:17:05 -05:00
|
|
|
sudo rm -rf $(ls -A1)
|
2021-02-05 17:38:25 -06:00
|
|
|
displayName: "Clean Workspace"
|
