#!/usr/bin/env sh## constsdir_build="build"dir_conf="conf"## argsif [ $# -ge 1 ] ; then profile=$1 ; else profile="example" ; fi## exececho ">> building …"make -f tools/makefileif $(test ${profile} = '-')thenecho ">> no profile given; not placing configuration file"# do nothingelseecho ">> placing configuration for profile '${profile}' …"cp -ru ${dir_conf}/${profile}.json ${dir_build}/conf.jsonfi