diff options
author | Erich Eckner <git@eckner.net> | 2017-08-06 20:58:03 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-08-06 20:58:03 +0200 |
commit | da391bc821753927cd566832b28099c8e1888dae (patch) | |
tree | 6e825d8a60f9c7032c9eaccc5379d40c821f5ea6 | |
parent | 34a4d3f38b1969bf5a35ae8a32af9de28e12c580 (diff) | |
download | build-arch-iso-da391bc821753927cd566832b28099c8e1888dae.tar.xz |
update-website: ignore x86_64 kernel
-rwxr-xr-x | update-website | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/update-website b/update-website index 32ca5f8..0357afa 100755 --- a/update-website +++ b/update-website @@ -42,6 +42,7 @@ for arch in "${!desc[@]}"; do kernels="$( printf '%s\n' ${kernels} $( grep '/linux-[0-9]' "${tmp_dir}/arch/pkglist."*".txt" | \ + grep -v 'pkglist\.x86_64\.txt:' | \ sed ' s|^\(.*:\)\?core/linux-|| s|-[0-9]\+$|| |