|
|
@@ -0,0 +1,29 @@ |
|
|
|
#!/bin/bash |
|
|
|
|
|
|
|
set -e |
|
|
|
|
|
|
|
cd $(dirname ${0}) |
|
|
|
|
|
|
|
# --------------------------------------------------------------------------------------------------------------------- |
|
|
|
|
|
|
|
target="${1}" |
|
|
|
|
|
|
|
if [ -z "${target}" ]; then |
|
|
|
echo "usage: ${0} <target>" |
|
|
|
exit 1 |
|
|
|
fi |
|
|
|
|
|
|
|
# --------------------------------------------------------------------------------------------------------------------- |
|
|
|
|
|
|
|
pushd PawPaw |
|
|
|
source local.env ${target} |
|
|
|
popd |
|
|
|
|
|
|
|
# --------------------------------------------------------------------------------------------------------------------- |
|
|
|
|
|
|
|
pushd Carla |
|
|
|
make features |
|
|
|
make ${MAKE_ARGS} |
|
|
|
popd |
|
|
|
|
|
|
|
# --------------------------------------------------------------------------------------------------------------------- |