#!/bin/bash

rm -f /home/joe/jester/src/yage/jester
rm -f /home/joe/jester/bin/jester
cd /home/joe/jester/src
exec bud -op -clean /home/joe/jester/src/yage/jester.d dl.a
cp /home/joe/jester/src/yage/jester /home/joe/jester/bin/