diff --git a/.gitignore b/.gitignore index be38e2b..45610ac 100644 --- a/.gitignore +++ b/.gitignore @@ -36,6 +36,8 @@ $RECYCLE.BIN/ ### PROJECT SETTINGS ### _BE/ +.profile-setting +.git-ref-path # Exlude compiled Sphinx docs /docs/*/_build/ diff --git a/Makefile b/Makefile index 4df09e2..25fc814 100644 --- a/Makefile +++ b/Makefile @@ -42,6 +42,12 @@ MK := ${MAKE} -f ${BUILD_ROOT}/Makefile.inc1 GIT_LOCATION != cat ${GIT_REPO_SETTING} .endif +.if exists(${BUILD_ROOT}/.git-ref-path) +GIT_REF_PATH != cat ${BUILD_ROOT}/.git-ref-path +.elif exists(/build/gitrefs) +GIT_REF_PATH ?= /build/gitrefs +.endif + .if exists(${PROFILE_SETTING}) PROFILE != cat ${PROFILE_SETTING} .endif @@ -58,6 +64,7 @@ PROFILE != cat ${PROFILE_SETTING} .export OBJDIR .export BUILD_STARTED .export GIT_REPO_SETTING +.export GIT_REF_PATH .export PROFILE .BEGIN: