diff options
| author | Marcello Stanisci <stanisci.m@gmail.com> | 2017-11-28 17:33:32 +0100 |
|---|---|---|
| committer | Marcello Stanisci <stanisci.m@gmail.com> | 2017-11-28 17:33:32 +0100 |
| commit | 1539e1bf73728240f78e09628cb0dd18745998ef (patch) | |
| tree | 77122f083cc0b109364f21c7e4f3d3237b37066f /taler-build | |
| parent | 4b12c33c6f598749b1516a129eb06b67f50f52d9 (diff) | |
| download | deployment-1539e1bf73728240f78e09628cb0dd18745998ef.tar.gz deployment-1539e1bf73728240f78e09628cb0dd18745998ef.tar.bz2 deployment-1539e1bf73728240f78e09628cb0dd18745998ef.zip | |
stage and www built by one updater
Diffstat (limited to 'taler-build')
| -rwxr-xr-x | taler-build/update_stage.sh | 16 | ||||
| -rwxr-xr-x | taler-build/update_www_and_stage.sh (renamed from taler-build/update_www.sh) | 0 |
2 files changed, 0 insertions, 16 deletions
diff --git a/taler-build/update_stage.sh b/taler-build/update_stage.sh deleted file mode 100755 index 3f7f585..0000000 --- a/taler-build/update_stage.sh +++ /dev/null @@ -1,16 +0,0 @@ -#!/bin/bash - -set -eu - -fetch () { - git clean -fdx - git fetch - # reset to updated upstream branch, but only if we're tracking a branch - branch=$(git rev-parse --abbrev-ref --symbolic-full-name @{u} 2>/dev/null || echo HEAD) - git reset --hard "$branch" -} - -cd $HOME/stage.taler.net -fetch -git submodule update --init --force -make diff --git a/taler-build/update_www.sh b/taler-build/update_www_and_stage.sh index b4912d3..b4912d3 100755 --- a/taler-build/update_www.sh +++ b/taler-build/update_www_and_stage.sh |