blob: a845d6602c76ad589ef194f9cf03d9d8c9737fa2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#!/bin/bash
set -eu
cd $HOME/gnunet/
git clear -fdx
# like "git pull", but robust against force pushes
# and local changes
git fetch
git reset --hard FETCH_HEAD
./bootstrap
./configure --prefix=$HOME/local --enable-logging=verbose --with-libgnurl=$HOME/local --with-microhttpd=$HOME/local
make
make install
|