fix: replace incorrect package names
This commit is contained in:
parent
de3ea9d2c6
commit
e56631e68c
1 changed files with 1 additions and 1 deletions
|
@ -41,7 +41,7 @@ RUN /bin/sh <<-EOF
|
|||
set -eux
|
||||
GRUB_VERSION=\$(echo | grub-install --version)
|
||||
if [ "grub-install (GRUB) ${SRC_VERSION}" != "\$GRUB_VERSION" ]; then
|
||||
echo "Expected xorriso version is \$SRC_VERSION.pl02, but got \$XORRISO_VERSION"
|
||||
echo "Expected grub version is \$SRC_VERSION, but got \$GRUB_VERSION"
|
||||
exit 1
|
||||
fi
|
||||
EOF
|
||||
|
|
Loading…
Reference in a new issue