blob: ea84854f18a979f9c5ba167f9c1b02aa332efdd3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#!/bin/bash
set -eu
if test "demo" = ${TALER_ENV_NAME}; then
echo "No playground for 'demo' envs."
exit 0
fi
cd $HOME/playground/
git clean -fxd
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"
git submodule update --init --force
./bootstrap
./configure --prefix="$HOME/local"
make install
|
