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