blob: 99d8d8c57b8c4e6ec816af5efcae1f4c6a88d822 (
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
cd $HOME/merchant/
git clean -fdx
# like "git pull", but robust against force pushes
# and local changes
git fetch
git reset --hard FETCH_HEAD
git submodule update --init
./bootstrap
./configure CFLAGS='-ggdb -O0' \
--prefix=$HOME/local --with-gnunet=$HOME/local \
--with-mint=$HOME/local \
--with-microhttpd=$HOME/local \
--enable-logging=verbose
make
make install
|