diff options
| -rw-r--r-- | tools/gen-source-tar.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/gen-source-tar.sh b/tools/gen-source-tar.sh index 66c04caf0..c7658d3d2 100644 --- a/tools/gen-source-tar.sh +++ b/tools/gen-source-tar.sh @@ -17,7 +17,9 @@ function fetch_source_from_git { git clone --depth=1 ${CLONE_FROM} ${TMPDIR}/${COMPONENT} else git clone ${CLONE_FROM} ${TMPDIR}/${COMPONENT} - git --git-dir ${TMPDIR}/${COMPONENT}/.git checkout ${GIT_REF} + git --git-dir ${TMPDIR}/${COMPONENT}/.git \ + --work-tree ${TMPDIR}/${COMPONENT}/ \ + checkout ${GIT_REF} fi tar -cf ${TMPDIR}/${COMPONENT}.tar -C ${TMPDIR} ${COMPONENT} } |