#!/bin/bash
pkill -15 iguana
rm -f ../agents/iguana *.o
git pull
./m_notary_run $1