Lines Matching +full:9 +full:- +full:tools

3 # update-spirvtools merges the latest changes from
4 # the github.com/KhronosGroup/SPIRV-Tools into third_party/SPIRV-Tools.
9 if [ ! -z "$REASON" ]; then
15 …`git subtree pull --prefix third_party/SPIRV-Tools https://github.com/KhronosGroup/SPIRV-Tools mas…
20   git rm ${THIRD_PARTY_DIR}/SPIRV-Tools/Android.mk
21   git -c core.editor=true merge --continue # '-c core.editor=true' prevents the editor from showing
22   if [ $? -ne 0 ]; then
29 ALL_CHANGES=`git log -n 1 HEAD^2 | egrep '^(\s{4}[0-9a-f]{9}\s*.*)$'`
30 HEAD_CHANGE=`echo "$ALL_CHANGES" | egrep '[0-9a-f]{9}' -o -m 1`
31 LOG_MSG=`echo -e "Update SPIR-V Tools to $HEAD_CHANGE\n${REASON}\nChanges:\n$ALL_CHANGES\n\nCommand…
32 git commit --amend -m "$LOG_MSG"