2025-11-12 15:09:06 +01:00
|
|
|
#!/usr/bin/env sh
|
|
|
|
|
|
|
|
|
|
## consts
|
|
|
|
|
|
|
|
|
|
dir_here=$(pwd)
|
|
|
|
|
dir_source="${dir_here}/source"
|
2025-11-22 14:18:36 +01:00
|
|
|
dir_build="/tmp/freie_systeme"
|
2025-11-12 15:09:06 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
|
## exec
|
|
|
|
|
|
2026-01-29 16:14:14 +01:00
|
|
|
make -f tools/makefile dir_source=${dir_source} dir_build=${dir_build} $@
|
