wirc-frontend.git

1) #!/usr/bin/env sh
2) 

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 …"

17) make -f tools/makefile
18) 

19) if $(test ${profile} = '-')
20) then
21) 	echo ">> no profile given; not placing configuration file"

22) 	# do nothing