diff options
| author | Erich Eckner <git@eckner.net> | 2018-09-28 17:39:19 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-09-28 17:39:19 +0200 |
| commit | 6ab3f17aa9cc512db8e643014cf5a3051f5587bd (patch) | |
| tree | 14302ad9d07fb06e97494246f6823a7d32b2eee4 /lib | |
| parent | d79aaf42d898df61254d016a9f8d71e158501fe5 (diff) | |
| download | builder-6ab3f17aa9cc512db8e643014cf5a3051f5587bd.tar.xz | |
lib/common-functions: append lib/PKGBUILD-appendix-for-archive-server to PKGBUILD - retrieve kernel git repository snapshot from our archive server instead of cloning the git repository
Diffstat (limited to 'lib')
| -rwxr-xr-x | lib/common-functions | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/common-functions b/lib/common-functions index 34a3bf6..e9585a4 100755 --- a/lib/common-functions +++ b/lib/common-functions @@ -499,6 +499,8 @@ extract_source_directory() { tar -x --strip-components=3 -C "${output}" printf '\n' >> \ "${output}/PKGBUILD" + cat "${base_dir}/misc/PKGBUILD-appendix-for-archive-server" >> \ + "${output}/PKGBUILD" fi if [ -n "${PKGBUILD_mod}" ]; then |