#!/bin/sh
# Compiles verus

pushd ~/obj/verus
make -f ~/src/verus/Makefile $1
popd

