b2d6ecf8940a88179cdc3d5e2a5ebb50a47ac3c5
Christian Fraß [ini]

Christian Fraß authored 2 years ago

1) #!/usr/bin/env sh
2) 
Christian Fraß [mod] conf,tools

Christian Fraß authored 2 years ago

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

Christian Fraß authored 2 years ago

17) make -f tools/makefile
18)