#!/usr/bin/env sh

## consts

dir_here=$(pwd)
dir_source="${dir_here}/source"
dir_build="/tmp/freie_systeme"


## exec

make -f tools/makefile dir_source=${dir_source} dir_build=${dir_build}