File tree Expand file tree Collapse file tree 1 file changed +12
-1
lines changed
Expand file tree Collapse file tree 1 file changed +12
-1
lines changed Original file line number Diff line number Diff line change 22
33set -ex
44
5+ URL=https://github.com/tendra/tendra.git
6+
57VERSION=$1
68if echo ${VERSION} | grep ' trunk' ; then
79 VERSION=trunk-$( date +%Y%m%d)
810 BRANCH=main
11+ LAST_REVISION=" ${3} "
12+
13+ REVISION=$( git ls-remote --heads " ${URL} " " refs/heads/${BRANCH} " | cut -f 1)
14+ echo " ce-build-revision:${REVISION} "
15+
16+ if [[ " ${REVISION} " == " ${LAST_REVISION} " ]]; then
17+ echo " ce-build-status:SKIPPED"
18+ exit
19+ fi
920else
1021 BRANCH=V${VERSION}
1122fi
@@ -22,7 +33,7 @@ PREFIX_BOOTSTRAP=$(pwd)/prefix/bootstrap
2233PREFIX_REBUILD=$( pwd) /prefix/rebuild
2334
2435DIR=$( pwd) /tendra
25- git clone --depth 1 -b ${BRANCH} https://github.com/tendra/tendra.git ${DIR}
36+ git clone --depth 1 -b ${BRANCH} ${URL} ${DIR}
2637
2738# no -j (currently breaks)
2839pmake -C ${DIR} TARGETARCH=x32_64 OBJ_BPREFIX=${PREFIX_BOOTSTRAP}
You can’t perform that action at this time.
0 commit comments