diff options
| author | Brad Pitcher <bradpitcher@gmail.com> | 2012-01-25 15:43:43 (GMT) |
|---|---|---|
| committer | Brad Pitcher <bradpitcher@gmail.com> | 2012-01-25 15:43:43 (GMT) |
| commit | a76129971e2fa7426afe5d1be6b4d0061941d0b4 (patch) | |
| tree | 2559071d33b0211871ab8bd4d3b1afeae7e76bb3 /scripts/release-common.sh | |
| parent | eff1f7f8c91cee34c584a89c5d09e401c609f93e (diff) | |
updates submodules if building from git
Diffstat (limited to 'scripts/release-common.sh')
| -rwxr-xr-x | scripts/release-common.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/release-common.sh b/scripts/release-common.sh index 296c14a..ad7b3fa 100755 --- a/scripts/release-common.sh +++ b/scripts/release-common.sh @@ -110,6 +110,10 @@ case $OS in ;; esac +if [ -n .git ]; then + git submodule update +fi + if [ -n $EXAMPLESDIR ]; then echo $EXAMPLESDIR mkdir -p $EXAMPLESDIR |