updated build system

This commit is contained in:
2024-07-09 13:30:49 -05:00
parent 5fb66dc6ee
commit da07122997
2 changed files with 6 additions and 6 deletions

View File

@ -8,12 +8,12 @@ CURRENT_DIR=$(realpath ${CURRENT_DIR})
. "${CURRENT_DIR}/env.sh" "$3" "$4" "$5" "$6" "$7"
if [ -f "${CURRENT_DIR}/../dist/version.sh" ]; then
source ${CURRENT_DIR}/../dist/version.sh
if [ -f "${CURRENT_DIR}/../build/version.sh" ]; then
source ${CURRENT_DIR}/../build/version.sh
fi
if [ -f "${CURRENT_DIR}/../dist/git_rev.sh" ]; then
source ${CURRENT_DIR}/../dist/git_rev.sh
if [ -f "${CURRENT_DIR}/../build/git_rev.sh" ]; then
source ${CURRENT_DIR}/../build/git_rev.sh
fi
function exit_and_clean() {