#!/bin/bash

touch compiling.lock

dimctrl --cmd "DIS_DNS/KILL_SERVERS 100" --cmd "DIS_DNS/EXIT 100"

sleep 5

make clean

make -j2 && rm compiling.lock
