diff options
| author | Erich Eckner <git@eckner.net> | 2020-11-30 19:01:05 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-11-30 19:01:05 +0100 |
| commit | db8b0e0d70375e3ebc45e75a961323aa8173ccef (patch) | |
| tree | 8831ad4829102a09505d5481ed700de621f035ab /update-archlinux32-package | |
| parent | 8a810faa934216e7e0476da143ea2965d858d281 (diff) | |
| download | devops-db8b0e0d70375e3ebc45e75a961323aa8173ccef.tar.xz | |
update-archlinux32-package: copy auxilary files of kernels to the vm, too
Diffstat (limited to 'update-archlinux32-package')
| -rwxr-xr-x | update-archlinux32-package | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/update-archlinux32-package b/update-archlinux32-package index eb243c1..75e8dbb 100755 --- a/update-archlinux32-package +++ b/update-archlinux32-package @@ -410,6 +410,12 @@ case ${update_path} in for config_name in ${config_names}; do tar -c -C "${git_repo_path}/${repo}/${pkgname}" "${config_name}" done + git -C "${git_repo_path}/${repo}/${pkgname}" archive HEAD -- $( + git -C "${git_repo_path}/${repo}/${pkgname}" archive HEAD \ + | tar -t \ + | grep -v '^config' \ + | grep -vxF 'PKGBUILD' + ) } | \ ssh arch32-test ' mkdir "'"${pkgname}"'" |