mirror of
https://github.com/team2059/Dent
synced 2024-12-18 20:52:29 -05:00
10 lines
204 B
Bash
10 lines
204 B
Bash
function mb(){
|
|
vagrant ssh -c "cd /vagrant/src;make clean 2>&1 >/dev/null;make"
|
|
}
|
|
function mc(){
|
|
vagrant ssh -c "cd /vagrant/src;make clean"
|
|
}
|
|
function mk(){
|
|
vagrant ssh -c "cd /vagrant/src;make"
|
|
}
|