updated build system

This commit is contained in:
2024-07-16 14:17:00 -05:00
parent 70b5204a9f
commit 786d8634cf
3 changed files with 14 additions and 26 deletions

View File

@ -8,21 +8,12 @@ CURRENT_DIR=$(realpath ${CURRENT_DIR})
. "${CURRENT_DIR}/env.sh" "$2" "$3" "$4" "$5" "$6"
if [ -f "${CURRENT_DIR}/../build/git_rev.sh" ]; then
source ${CURRENT_DIR}/../build/git_rev.sh
fi
function exit_and_clean() {
echo $1
rm -rf ${TEMP_DIR}
exit $2
}
if [ "${PROJECT_GIT_REV}" == "" ]; then
echo "Project git revision not set"
exit 1
fi
if [ ! -d "${PROJECT_DIST_DIR}" ]; then
echo "Dist directory not found: ${PROJECT_DIST_DIR}"
exit 1