From 45ca1c4c48abf6309a5fbfefd3335c9f7330d362 Mon Sep 17 00:00:00 2001 From: Fenris Wolf Date: Tue, 9 Sep 2025 21:17:30 +0000 Subject: [PATCH] [mod] tools:build --- tools/build | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) 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