equal
deleted
inserted
replaced
1 #!/bin/bash |
1 #!/bin/bash |
2 |
2 |
3 CHANNEL="esr17" |
3 CHANNEL="esr17" |
4 BRANCH="releases/mozilla-$CHANNEL" |
4 BRANCH="releases/mozilla-$CHANNEL" |
5 RELEASE_TAG="FIREFOX_17_0_6esr_RELEASE" |
5 RELEASE_TAG="FIREFOX_17_0_7esr_RELEASE" |
6 VERSION="17.0.6" |
6 VERSION="17.0.7" |
7 |
7 |
8 # mozilla |
8 # mozilla |
9 echo "cloning $BRANCH..." |
9 echo "cloning $BRANCH..." |
10 hg clone http://hg.mozilla.org/$BRANCH mozilla |
10 hg clone http://hg.mozilla.org/$BRANCH mozilla |
11 pushd mozilla |
11 pushd mozilla |