projects
/
arvados.git
/ commitdiff
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
b4ebaa2
)
20846: Add package repo codenames for new distros.
author
Tom Clegg <tom@curii.com>
Wed, 29 Nov 2023 20:27:04 +0000
(15:27 -0500)
committer
Tom Clegg <tom@curii.com>
Wed, 29 Nov 2023 20:27:04 +0000
(15:27 -0500)
Arvados-DCO-1.1-Signed-off-by: Tom Clegg <tom@curii.com>
build/run-library.sh
patch
|
blob
|
history
diff --git
a/build/run-library.sh
b/build/run-library.sh
index 448f652c279811012d67e03d36a323f458c0f6dc..641dd7df3271aab291f1585e387d461719e1dfae 100755
(executable)
--- a/
build/run-library.sh
+++ b/
build/run-library.sh
@@
-431,8
+431,10
@@
test_package_presence() {
declare -A dd
dd[debian10]=buster
dd[debian11]=bullseye
+ dd[debian12]=bookworm
dd[ubuntu1804]=bionic
dd[ubuntu2004]=focal
+ dd[ubuntu2204]=jammy
D=${dd[$TARGET]}
if [ ${pkgname:0:3} = "lib" ]; then
repo_subdir=${pkgname:0:4}