#!/usr/bin/env sh ## consts dir_build="build" dir_conf="conf" ## args if [ $# -ge 1 ] ; then profile=$1 ; else profile="-" ; fi ## exec echo ">> building …" make -f tools/makefile if $(test ${profile} = '-') then # do nothing echo ">> no profile given; not placing configuration file" else echo ">> placing configuration for profile '${profile}' …" cp -ru ${dir_conf}/${profile}.json ${dir_build}/conf.json fi