#!/usr/bin/env bash## constdir_conf="conf"dir_build="build"## argsif [ $# -ge 1 ] ; then profile=$1 && shift ; else profile="-" ; fi## exec### compilingecho ">> building …" 1>&2make --file=tools/makefile### placing confif [ ${profile} = "" ]thenecho ">> no profile specified; won't place conf" 1>&2elseecho ">> placing conf for profile '${profile}' …" 1>&2cp ${dir_conf}/${profile}.json ${dir_build}/conf.jsonfi