freie_systeme/tools/build

#!/usr/bin/env sh

## consts

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


## exec

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