# overriden by script if true
HAVECXX=false
+: ${GIT:=git}
+
# figure out where gmake lies
if [ -z "${MAKE:-}" ]; then
MAKE=make
done
shift $((${OPTIND} - 1))
- [ -n "${RRDEST}" ] || RRDEST=./rumprun${EXTSRC}
+ # are we on a git branch which is not master?
+ if type ${GIT} >/dev/null; then
+ GITBRANCH=$(${GIT} rev-parse --abbrev-ref HEAD 2>/dev/null)
+ if [ ${GITBRANCH} = "master" -o ${GITBRANCH} = "HEAD" ]; then
+ GITBRANCH=
+ else
+ GITBRANCH=-${GITBRANCH}
+ fi
+ else
+ GITBRANCH=
+ fi
+
+ [ -n "${RRDEST}" ] || RRDEST=./rumprun${GITBRANCH}${EXTSRC}
: ${BUILD_QUIET:=}
MACHINE_GNU_ARCH="${BUILDRUMP_MACHINE_GNU_ARCH}"
if [ -z "${RROBJ}" ]; then
- RROBJ="./obj-${MACHINE}-${PLATFORM}${EXTSRC}"
+ RROBJ="./obj-${MACHINE}-${PLATFORM}${GITBRANCH}${EXTSRC}"
${KERNONLY} && RROBJ="${RROBJ}-kernonly"
fi
STAGING="${RROBJ}/dest.stage"