| Carmelo Cascone | d661507 | 2017-12-15 00:53:43 -0800 | [diff] [blame] | 1 | #!/usr/bin/env bash |
| 2 | |||||
| 3 | set -xe | ||||
| 4 | |||||
| 5 | # Delete vagrant user | ||||
| 6 | sudo userdel -r -f vagrant | ||||
| 7 | |||||
| 8 | # Free space on disk | ||||
| 9 | cd ~/p4tools/protobuf && make clean | ||||
| 10 | cd ~/p4tools/grpc && make clean | ||||
| 11 | cd ~/p4tools/bmv2 && make clean | ||||
| 12 | cd ~/p4tools/bmv2/targets && make clean | ||||
| 13 | cd ~/p4tools/p4runtime && make clean | ||||
| 14 | rm -rf ~/p4tools/p4c/build | ||||
| 15 | |||||
| 16 | cat /dev/null > ~/.bash_history | ||||