e9e3770b3487d60657c1878aac243589384168c2
Christian Fraß [add] client

Christian Fraß authored 3 years ago

1) #!/usr/bin/env bash
2) 
Christian Fraß [add] client:tools:clear [a...

Christian Fraß authored 3 years ago

3) ## const
4) 
5) dir_conf="conf"
6) dir_build="build"
7) 
8) 
9) ## args
10) 
11) if [ $# -ge 1 ] ; then profile=$1 && shift ; else profile="-" ; fi
12) 
13) 
14) ## exec
15) 
16) ### compiling
17) echo ">> building …" 1>&2
Christian Fraß [add] client

Christian Fraß authored 3 years ago

18) make --file=tools/makefile
19)