2015-02-06 11:01:28 -05:00
|
|
|
function mb(){
|
2015-02-06 18:56:47 -05:00
|
|
|
vagrant ssh -c "cd /vagrant/src;make clean 2>&1 >/dev/null;make"
|
2015-02-06 11:01:28 -05:00
|
|
|
}
|
|
|
|
function mc(){
|
2015-02-06 18:56:47 -05:00
|
|
|
vagrant ssh -c "cd /vagrant/src;make clean"
|
2015-02-06 11:01:28 -05:00
|
|
|
}
|
|
|
|
function mk(){
|
2015-02-06 18:56:47 -05:00
|
|
|
vagrant ssh -c "cd /vagrant/src;make"
|
2015-02-06 11:01:28 -05:00
|
|
|
}
|
2015-02-06 22:40:18 -05:00
|
|
|
function md(){
|
|
|
|
vagrant ssh -c "cd /vagrant/src;make deploy"
|
|
|
|
}
|
|
|
|
function ma(){
|
|
|
|
vagrant ssh -c "cd /vagrant/src;make clean;make;make deploy"
|
|
|
|
}
|