Commit 0d9facb 1 parent 49ebed4 commit 0d9facb Copy full SHA for 0d9facb
File tree 1 file changed +1
-1
lines changed
1 file changed +1
-1
lines changed Original file line number Diff line number Diff line change @@ -96,6 +96,7 @@ file(WRITE ${stamp_dir}/reset_head.sh
96
96
"#!/bin/bash
97
97
set -e
98
98
if [[ ! -f \" ${stamp_dir} /${_name} -patch\" || \" ${stamp_dir} /${_name} -download\" -nt \" ${stamp_dir} /${_name} -patch\" || ! -f \" ${stamp_dir} /HEAD\" || \" $(cat ${stamp_dir} /HEAD)\" != \" $(git -C ${source_dir} rev-parse @{u})\" ]]; then
99
+ pwd
99
100
git -C ${source_dir} reset --hard ${reset} -q
100
101
if [[ -z \" ${git_reset} \" ]]; then
101
102
find \" ${stamp_dir} \" -type f ! -iname '*.cmake' -size 0c -delete
@@ -115,7 +116,6 @@ PERMISSIONS OWNER_READ OWNER_WRITE OWNER_EXECUTE GROUP_READ GROUP_EXECUTE WORLD_
115
116
WORKING_DIRECTORY <SOURCE_DIR>
116
117
COMMAND bash -c "git am --abort 2> /dev/null || true"
117
118
COMMAND bash -c "git fetch --no-recurse-submodules"
118
- COMMAND bash -c "git --no-pager log --decorate=short --pretty=oneline"
119
119
COMMAND ${stamp_dir} /reset_head.sh
120
120
)
121
121
ExternalProject_Add_StepTargets(${_name} force-update)
You can’t perform that action at this time.
0 commit comments