diff --git a/tools/build b/tools/build index 330f7e1..b8396b4 100755 --- a/tools/build +++ b/tools/build @@ -7,6 +7,12 @@ dir_source=source dir_build=build name=index.php + +## args + +if [ $# -ge 1 ] ; then profile=$1 && shift ; else profile="" ; fi + + ## exec mkdir -p ${dir_build} @@ -19,5 +25,4 @@ rm -f ${dir_build}/${name} cp -r -u -v ${dir_source}/* ${dir_build}/ ln -s main.php ${dir_build}/index.php -cp conf/example.json ${dir_build}/conf.json - +test -z ${profile} || cp conf/${profile}.json ${dir_build}/conf.json