13 lines
194 B
Bash
Executable file
13 lines
194 B
Bash
Executable file
#!/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} $@
|