ec28c99f96a11b22adfa07297b10c4f00c26991d
Christian Fraß [ini]

Christian Fraß authored 3 years ago

1) #!/usr/bin/env sh
2) 
Christian Fraß [mod] logging [mod] code st...

Christian Fraß authored 3 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="example" ; fi
12) 
13) 
14) ## exec
15) 
16) echo ">> building …"
Christian Fraß [ini]

Christian Fraß authored 3 years ago

17) make -f tools/makefile
18) 
Christian Fraß [mod] logging [mod] code st...

Christian Fraß authored 3 years ago

19) if $(test ${profile} = '-')
20) then
21) 	echo ">> no profile given; not placing configuration file"
Christian Fraß [mod] tools:build

Christian Fraß authored 3 years ago

22) 	# do nothing