diff --git a/tools/dev/bash_profile b/tools/dev/bash_profile
index 586c8a6..15f6389 100644
--- a/tools/dev/bash_profile
+++ b/tools/dev/bash_profile
@@ -36,6 +36,8 @@
 
 # Short-hand for 'mvn clean install' for us lazy folk
 alias mci='mvn clean install'
+alias mcis='mvn clean install -DskipTests -Dcheckstyle.skip -U -T 1C'
+alias mis='mvn install -DskipTests -Dcheckstyle.skip -U -T 1C'
 
 # Short-hand for ONOS build, package and test.
 alias ob='onos-build'