diff options
-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 |