#!/bin/bash

cd $HOME/libmicrohttpd/
git clean -fdx

# like "git pull", but robust against force pushes
# and local changes
git fetch
git reset --hard FETCH_HEAD

./bootstrap
./configure --prefix=$HOME/local
make
make install