#!/bin/bash set -eu cd $HOME/gnunet/ svn revert -R . svn update ./bootstrap ./configure --prefix=$HOME/local --enable-logging=verbose --with-libgnurl=$HOME/local --with-microhttps=$HOME/local make make install