Lines Matching full:git
11 # Download helper for git, to be called from the download wrapper script
22 # GIT : the git command to call
31 # clone from scratch (only once!) in case the git tree is borked, or in
34 # git cache).
38 printf "Detected a corrupted git cache.\n" >&2
71 # Create and cd into the directory that will contain the local git cache
72 git_cache="${dl_dir}/git"
83 printf '%s ' GIT_DIR="${git_cache}/.git" ${GIT} "${@}"; printf '\n'
89 eval GIT_DIR="${git_cache}/.git" ${GIT} "${@}"
92 # Create a warning file, that the user should not use the git cache.
94 cat <<-_EOF_ >"${dl_dir}/git.readme"
97 The git tree located in this directory is for the exclusive use
110 # Initialise a repository in the git cache. If the repository already
155 # Using "git submodule deinit --all" would remove all the files for
156 # all submodules, including the corresponding .git files or directories.
157 # However, it was only introduced with git-1.8.3, which is too recent
164 # For recent git versions, the repository for submodules is stored
169 # For older versions however, the repository is stored in the .git/ of
181 # Get rid of now-untracked directories (in case a git operation was
194 # Older versions of git will store the absolute path of the git tree
195 # in the .git of submodules, while newer versions just use relative
197 # that the archives are reproducible across a wider range of git
198 # versions. However, we can't do that if git is too old and uses
202 [ -f "${module_dir}/.git" ] || continue
204 sed -r -i -e "s:^gitdir\: $(pwd)/:gitdir\: "${relative_dir}":" "${module_dir}/.git"
211 # We do not want the .git dir; we keep other .git files, in case they are the
213 # The .git dir would generate non reproducible tarballs as it depends on
216 mk_tar_gz "${git_cache}" "${basename}" "${date}" "${output}" ".git/*"