diff --git a/submit b/submit index 5d2367b..93eaba4 100755 --- a/submit +++ b/submit @@ -8,7 +8,9 @@ SERVER=build.firewall-services.com BRANCH=$(git branch | grep '*' | cut -d' ' -f2) DIST=$1 -if [ -z $DIST ]; then +if [[ -z $DIST && "$BRANCH" == "sme9" ]]; then + DIST="el6" +elif [ -z $DIST ]; then DIST="el5" fi