20878: Improve processed RPM check style
authorBrett Smith <brett.smith@curii.com>
Thu, 17 Aug 2023 22:28:17 +0000 (18:28 -0400)
committerBrett Smith <brett.smith@curii.com>
Thu, 17 Aug 2023 22:31:17 +0000 (18:31 -0400)
commita0c328d4eaa19a05f1d9028c0d21cf8657229bf7
tree195ecfe7267a443ef00d5dd1936b71a2a980b756
parent8498811f21bad0972db735d633ea4bf15af36418
20878: Improve processed RPM check style

This is nicer bash style that makes it more consistent with the
preceding download code.

Arvados-DCO-1.1-Signed-off-by: Brett Smith <brett.smith@curii.com>
build/run-library.sh