jjb/ovsdb/cleanup-docker.sh

   1 #!/bin/bash
   2
   3 set -e
   4
   5 echo "---> Cleaning up OVS $OVS_VERSION"
   6 docker logs "$CID" > "$WORKSPACE/docker-ovs-${OVS_VERSION}.log"
   7 docker stop "$CID"
   8 docker rm "$CID"
   9 rm env.properties
  10
  11 docker images