diff options
Diffstat (limited to 'ports/mg/del.sh')
| -rw-r--r-- | ports/mg/del.sh | 3 |
1 files changed, 3 insertions, 0 deletions
| diff --git a/ports/mg/del.sh b/ports/mg/del.sh index 22a6adc..1ba9923 100644 --- a/ports/mg/del.sh +++ b/ports/mg/del.sh | |||
| @@ -2,4 +2,7 @@ | |||
| 2 | set -e | 2 | set -e |
| 3 | 3 | ||
| 4 | cd mg | 4 | cd mg |
| 5 | make clean | ||
| 5 | make uninstall | 6 | make uninstall |
| 7 | cd .. | ||
| 8 | rm -rf mg | ||