[mod] tools:build

This commit is contained in:
fenris 2025-09-09 21:17:30 +00:00
parent 645035fcc7
commit 45ca1c4c48

View file

@ -7,6 +7,12 @@ dir_source=source
dir_build=build dir_build=build
name=index.php name=index.php
## args
if [ $# -ge 1 ] ; then profile=$1 && shift ; else profile="" ; fi
## exec ## exec
mkdir -p ${dir_build} mkdir -p ${dir_build}
@ -19,5 +25,4 @@ rm -f ${dir_build}/${name}
cp -r -u -v ${dir_source}/* ${dir_build}/ cp -r -u -v ${dir_source}/* ${dir_build}/
ln -s main.php ${dir_build}/index.php 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