blob: d20ce95b61079edf7f8bc289de8daa7261fb89b5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#!/bin/bash
set -eu
cd $HOME/deployment
# like "git pull", but discard local changes
git fetch
git reset --hard FETCH_HEAD
cd $HOME/deployment/taler-build
./invalidate.sh
make
|