index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2017-09-01 11:08:03 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-09-01 11:08:03 +0200 |
commit | 36b60018b59293eba771c701462e89e1e3e1af5f (patch) | |
tree | 854d642812095afc3b3b733e3cf2164e1a5822de /bin/build-packages | |
parent | f043383f96580cc276eca3cda49fa2a3ebbd2409 (diff) |
-rwxr-xr-x | bin/build-packages | 11 |
diff --git a/bin/build-packages b/bin/build-packages index 654da8d..d83a2e7 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -176,6 +176,17 @@ while [ "${count}" -ne 0 ]; do git_revision="${package##* }" package="${package% *}" + if [ "${mod_git_revision}" = 'work-tree' ]; then + mod_git_revision=$( + # we can't just create an empty index-file with mktemp, because git doesn't like it + tmp_subdir=$(mktemp -d); + trap 'rm -rf --one-file-system "${tmp_subdir}"' EXIT + export GIT_INDEX_FILE="${tmp_subdir}/index.new" + git -C "${repo_paths__archlinux32}" add -A + git -C "${repo_paths__archlinux32}" write-tree + ) + fi + # Update git repositories (official packages, community packages and the repository of package customizations). for repo_name in ${repo_names}; do |