#!/bin/sh
set -e

[ -d "$config_mujs_source" ] || exit 0

cd "$config_mujs_source"
make clean
